No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1767-1767 | CH53E est une sous-classe de Helicopter |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1768-1768 | CH53E est une sous-classe de PassengerVehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1769-1769 | CH53E est une sous-classe de MilitaryVehicle |