Skip to content
Permalink
Browse files

updated comments in component with single quotes

  • Loading branch information...
carmenchui committed Jun 20, 2018
1 parent 619e55e commit b66712da7d6718f1ff2d3680b72956999a142030
Showing with 1 addition and 1 deletion.
  1. +1 −1 ontologies/component/component_def.clif
@@ -1,6 +1,6 @@
(cl-text http://colore.oor.net/component/component_def.clif)

(cl-text "Proper Parthood")
(cl-text 'Proper Parthood')
(forall (x y)
(iff (properComponent x y)
(and (componentOf x y)

0 comments on commit b66712d

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