No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2309-2309 | PassengerShip est une sous-classe de Ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2432-2432 | PassengerAndCargoShip est une sous-classe de PassengerShip |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2434-2434 | ShortSeaPassengerShip est une sous-classe de PassengerShip |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2467-2467 | CruiseShip est une sous-classe de PassengerShip |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2482-2482 | OceanLiner est une sous-classe de PassengerShip |
![]() |