Closed mereolog closed 1 year ago
One axiom in contains terms ?tb ?tc - line 187 there. Although they are syntactically correct, the rest of the content of this axioms suggest that you should use tb tc instead.
?tb ?tc
tb tc
https://github.com/BFO-ontology/BFO-2020/blob/2c034b0c56fc16b6dc03dd9a4d3ca7a156f6bbe7/21838-2/common-logic/occurrent-mereology.cl#L172-L188
One axiom in contains terms
?tb ?tc- line 187 there. Although they are syntactically correct, the rest of the content of this axioms suggest that you should usetb tcinstead.https://github.com/BFO-ontology/BFO-2020/blob/2c034b0c56fc16b6dc03dd9a4d3ca7a156f6bbe7/21838-2/common-logic/occurrent-mereology.cl#L172-L188