No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1828-1828 | CH46D est une sous-classe de Helicopter |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1829-1829 | CH46D est une sous-classe de PassengerVehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1830-1830 | CH46D est une sous-classe de MilitaryVehicle |