No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1828-1828 | CH46D e' uma sub-classe de Helicopter |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1829-1829 | CH46D e' uma sub-classe de PassengerVehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1830-1830 | CH46D e' uma sub-classe de MilitaryVehicle |