No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5130-5130 | Glove est une sous-classe de v�tement |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4741-4741 | MotorcycleGlove est une sous-classe de Glove |