No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3373-3373 | Wheel est une sous-classe de artefact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3368-3368 | VehicleWheel est une sous-classe de Wheel |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4518-4518 | CommodoreWheel est une sous-classe de Wheel |