No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1571-1571 | APC e' uma sub-classe de MilitaryVehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1572-1572 | APC e' uma sub-classe de PassengerVehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1573-1573 | APC e' uma sub-classe de LandVehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1574-1574 | APC e' uma sub-classe de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1575-1575 | APC e' uma sub-classe de ArmoredVehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1509-1509 | LAV e' uma sub-classe de APC |