No TPTP formula. May not be expressible in strict first order. | Merge.kif 794-796 | A set or class is an instance of class if and only if the set or class is a subclass of entity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 798-798 | Physical is a subclass of entity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1578-1578 | Abstract is a subclass of entity |
![]() |