Skip to content
Permalink
Browse files

Update transportation_network.clif

  • Loading branch information...
megankatsumi committed Apr 25, 2018
1 parent 10d9fda commit d26769fe24d23668643a79c3d24f7206e2d2fff7
Showing with 1 addition and 19 deletions.
  1. +1 −19 ontologies/transportation/transportation_network.clif
@@ -114,25 +114,7 @@
(exists (v1 v2 v3) (and (path p1 v1 v2)
(path p2 v2 v3)))))

(cl-comment 'All proper sub-paths of a path must be connected to some other sub-path, but nothing connects to the start arc, and the end arc is not connected to anything')
(cl-comment 'The start path must be connected to some subpath')
(forall (p1 n12 p n1 n2)
(if (and (path p n1 n2)
(path p1 n1 n12)
(PP p1 p))
(exists (p2)
(and (connects p1 p2)
(PP p2 p)))))

(cl-comment 'The end node must connect to some subpath')
(forall (p1 n11 p n1 n2)
(if (and (path p n1 n2)
(path p1 n11 n2)
(PP p1 p))
(exists (p2)
(and (connects p2 p1)
(PP p2 p)))))

(cl-comment 'All proper sub-paths of a path must be connected to some other sub-path, but nothing connects to the start arc, and the end arc is not connected to anything')
(cl-comment 'A subpath that is neither a start or end path must connect to, and be connected to some subpaths')
(forall (p1 n11 n12 p n1 n2)
(if (and (path p n1 n2)

0 comments on commit d26769f

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.