No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2129-2129 |
AMEV est une sous-classe de LandVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1573-1573 |
APC est une sous-classe de LandVehicle |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4746-4746 |
AllTerrainVehicle est une sous-classe de LandVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2019-2019 |
AmphibiousVehicle est une sous-classe de LandVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1923-1923 |
Cycle est une sous-classe de LandVehicle |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4568-4568 |
FourWheelDriveVehicle est une sous-classe de LandVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2033-2033 |
RailVehicle est une sous-classe de LandVehicle |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3501-3501 |
RoadVehicle est une sous-classe de LandVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1944-1944 |
Scooter est une sous-classe de LandVehicle |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4591-4591 |
TwoWheelDriveVehicle est une sous-classe de LandVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1846-1846 |
Wagon est une sous-classe de LandVehicle |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33301-33301 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33300-33300 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33299-33299 |
|