Airplane |
![]() |
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 |
![]() |