| No TPTP formula. May not be expressible in strict first order. | Military.kif 130-130 | MilitaryVehicle e' uma sub-classe de MilitaryPlatform |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 131-131 | MilitaryVehicle e' uma sub-classe de Vehicle |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 145-145 | MilitaryTank e' uma sub-classe de MilitaryVehicle |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 156-156 | MilitaryAircraft e' uma sub-classe de MilitaryVehicle |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 195-195 | MilitarySupportVehicle e' uma sub-classe de MilitaryVehicle |
| 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 1646-1646 | AAV e' uma sub-classe de MilitaryVehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1734-1734 | Harrier2 e' uma sub-classe de MilitaryVehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1769-1769 | CH53E e' uma sub-classe de MilitaryVehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1830-1830 | CH46D e' uma sub-classe de MilitaryVehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1890-1890 | AH1 e' uma sub-classe de MilitaryVehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1945-1945 | LCAC e' uma sub-classe de MilitaryVehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2128-2128 | AMEV e' uma sub-classe de MilitaryVehicle |
|
|