Permalink
Browse files

new graph_ordering hierarchy

  • Loading branch information...
gruninger committed Jul 13, 2016
1 parent a22ea5a commit 1fc0611e190df4eafb3a470b60f7e55b3283382b
Showing with 14 additions and 1 deletion.
  1. +1 −1 ontologies/combined_mereotopology/mt.clif
  2. +13 −0 ontologies/graph_ordering/cgo.clif
@@ -2,7 +2,7 @@
(cl-imports http://colore.oor.net/mereotopology/connection.clif)
(cl-imports http://colore.oor.net/mereology/m_mereology)
(cl-imports http://colore.oor.net/mereology/m_mereology.clif)
(forall (x y)
(if (part x y)
@@ -0,0 +1,13 @@
(cl-text http://colore.oor.net/graph_ordering/cgo.clif
(cl-imports http://colore.oor.net/graphs/undirected_graph.clif)
(cl-imports http://colore.oor.net/orderings/quasiorder.clif)
(forall (x y)
(if (leq x y)
(forall (z)
(if (adj x z)
(adj z y)))))
)

0 comments on commit 1fc0611

Please sign in to comment.