No TPTP formula. May not be expressible in strict first order. | Merge.kif 862-862 | Self connected object is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2574-2574 | Ship container is a subclass of self connected object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2361-2361 | Ramp is a subclass of self connected object |
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 1041-1041 | Substance is a subclass of self connected object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1226-1226 | Corpuscular object is a subclass of self connected object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14266-14266 | Transitway is a subclass of self connected object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14874-14874 | Food is a subclass of self connected object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4492-4492 | Body of water is a subclass of self connected object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4723-4723 | Iceberg is a subclass of self connected object |