No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2582-2582 | Airplane est une sous-classe de Aircraft |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2583-2583 | Airplane est une sous-classe de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2589-2589 | PropellerPlane est une sous-classe de Airplane |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2590-2590 | JetAirplane est une sous-classe de Airplane |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2591-2591 | PropellerJet est une sous-classe de Airplane |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1708-1708 | VSTOL est une sous-classe de Airplane |
![]() |