No TPTP formula. May not be expressible in strict first order. | Merge.kif 828-830 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 832-832 | Physical is a subclass of entity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1669-1669 | Abstract is a subclass of entity |
![]() |