Skip to content
Permalink
Browse files

fixed typos

  • Loading branch information...
carmenchui committed Jul 9, 2019
1 parent 373c393 commit 36c1fc57e94ae324386512d87e3aae804b213030
Showing with 4 additions and 5 deletions.
  1. +3 −3 ontologies/component/component_def.clif
  2. +1 −2 ontologies/psl_core/psl_core.clif
@@ -8,12 +8,12 @@
* Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/component/component_def.clif)
(cl-text http://colore.oor.net/component/component_def.clif

(cl-text 'Proper Parthood')
(cl-comment 'Proper Parthood')
(forall (x y)
(iff (properComponent x y)
(and (componentOf x y)
(not (x=y))))
(not (= x y)))))

)
@@ -52,8 +52,7 @@
(not (= t inf+)))
(before t inf+)))

(cl-comment 'Given any timepoint t other than inf-, there is a timepoint between
inf- and t.')
(cl-comment 'Given any timepoint t other than inf-, there is a timepoint between inf- and t.')

(forall (t)
(if (and (timepoint t)

0 comments on commit 36c1fc5

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