Skip to content
Permalink
Browse files

Update transportation_network.clif

corrected missing "if" and updated English description
  • Loading branch information...
megankatsumi committed Mar 22, 2019
1 parent 73809f0 commit 24cdd8463b69f0387c43c835b268d8339ba4b59f
Showing with 5 additions and 4 deletions.
  1. +5 −4 ontologies/transportation/transportation_network.clif
@@ -128,13 +128,14 @@
(PP p2 p)
(PP p3 p)))))

(cl-comment 'a path cannot contain anything that connects to its start or is connected to its end')
(cl-comment 'connecting paths cannot contain one another')
(cl-comment 'note theorem to evaluate: a path cannot contain anything that connects to its start or is connected to its end')
(cl-comment 'was no path before start path')
(cl-comment 'was no path after end path')
(forall (p1 p2)
(connects p1 p2)
(and (not (P p1 p2))
(not (P p2 p1))))
(if (connects p1 p2)
(and (not (P p1 p2))
(not (P p2 p1)))))


(cl-comment 'The connection between arcs in a path is unique within a given path')

0 comments on commit 24cdd84

Please sign in to comment.
You can’t perform that action at this time.