| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2615-2615 | Airplane e' uma sub-classe de Aircraft |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2616-2616 | Airplane e' uma sub-classe de PoweredVehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2622-2622 | PropellerPlane e' uma sub-classe de Airplane |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2623-2623 | JetAirplane e' uma sub-classe de Airplane |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2624-2624 | PropellerJet e' uma sub-classe de Airplane |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1708-1708 | VSTOL e' uma sub-classe de Airplane |
|
|