Skip to content
Permalink
Browse files

added closure axiom to pseudograph.clif

  • Loading branch information...
gruninger committed May 11, 2018
1 parent 8691b7c commit dfdff2a645a0128713be26a3a78fb304b7aefc5b
Showing with 4 additions and 0 deletions.
  1. +4 −0 ontologies/multigraphs/pseudograph.clif
@@ -32,4 +32,8 @@
(if (madj e x y)
(madj e y x)))

(forall (x)
(or (vertex x)
(edge x)))

)

0 comments on commit dfdff2a

Please sign in to comment.
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.