No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1947-1947 |
Automobile est une sous-classe de SelfPoweredRoadVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1966-1966 |
Bus est une sous-classe de SelfPoweredRoadVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1876-1876 |
Motorcycle est une sous-classe de SelfPoweredRoadVehicle |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2009-2009 |
Truck est une sous-classe de SelfPoweredRoadVehicle |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52011-52011 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52010-52010 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52009-52009 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3709-3709 |
typicalPart CarAlarm and SelfPoweredRoadVehicle |