No TPTP formula. May not be expressible in strict first order. | Merge.kif 15996-15996 | Vehicle est une sous-classe de v�hicule de transport |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1742-1742 | PassengerVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1760-1760 | CargoVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1783-1783 | UnpoweredVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1793-1793 | PoweredVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1811-1811 | AgentPoweredVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Military.kif 131-131 | MilitaryVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1596-1596 | ArmoredVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3465-3465 | LandVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3483-3483 | WaterVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17710-17710 | Spacecraft est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17816-17816 | Aircraft est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25751-25751 | RecreationalVehicle est une sous-classe de Vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30080-30080 | DamagedVehicle est une sous-classe de Vehicle |
![]() |