No TPTP formula. May not be expressible in strict first order. | Merge.kif 867-867 | Organic thing is a subclass of self connected object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14347-14347 | Organic object is a subclass of organic thing |