No TPTP formula. May not be expressible in strict first order. | Merge.kif 821-823 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 825-825 | Physical is a subclass of entity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1679-1679 | Abstract is a subclass of entity |
![]() |