No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2075-2075 |
Railcar est disjoint de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1822-1822 |
Trailer est disjoint de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1649-1649 |
AAV est une sous-classe de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1574-1574 |
APC est une sous-classe de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2583-2583 |
Airplane est une sous-classe de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2166-2166 |
ElectrifiedRailwayCar est une sous-classe de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1893-1893 |
EmergencyRoadVehicle est une sous-classe de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1887-1887 |
EmergencyVehicle est une sous-classe de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1947-1947 |
LCAC est une sous-classe de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2116-2116 |
Locomotive est une sous-classe de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2204-2204 |
MotorRailcar est une sous-classe de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2111-2111 |
MotorizedRailwayCar est une sous-classe de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1804-1804 |
SelfPoweredRoadVehicle est une sous-classe de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2048-2048 |
Train est une sous-classe de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47024-47024 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47023-47023 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47022-47022 |
|