No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1646-1646 |
AAV est une sous-classe de MilitaryVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1890-1890 |
AH1 est une sous-classe de MilitaryVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2128-2128 |
AMEV est une sous-classe de MilitaryVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1571-1571 |
APC est une sous-classe de MilitaryVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1830-1830 |
CH46D est une sous-classe de MilitaryVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1769-1769 |
CH53E est une sous-classe de MilitaryVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1734-1734 |
Harrier2 est une sous-classe de MilitaryVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1945-1945 |
LCAC est une sous-classe de MilitaryVehicle |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 156-156 |
MilitaryAircraft est une sous-classe de MilitaryVehicle |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 195-195 |
MilitarySupportVehicle est une sous-classe de MilitaryVehicle |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 145-145 |
MilitaryTank est une sous-classe de MilitaryVehicle |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37769-37769 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37768-37768 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37767-37767 |
|