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 14369-14369 | Organic object is a subclass of organic thing |