Permalink
Browse files

Update component_def.clif

  • Loading branch information...
yvonneru committed Jul 29, 2017
1 parent 8f6c2a1 commit 3848a86759711ada5c26069d1b6779e8356eab84
Showing with 1 addition and 1 deletion.
  1. +1 −1 ontologies/component/component_def.clif
@@ -1,4 +1,4 @@
(cl-text http://colore.oor.net/piece/component_def.clif)
(cl-text http://colore.oor.net/component/component_def.clif)
(cl-text "Proper Parthood")
(forall (x y)

0 comments on commit 3848a86

Please sign in to comment.