| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30050-30050 | CargoShip est une sous-classe de Ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2315-2315 | GeneralCargoShip est une sous-classe de CargoShip |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2325-2325 | BargeCarrierShip est une sous-classe de CargoShip |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2327-2327 | LivestockCarrierShip est une sous-classe de CargoShip |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2332-2332 | ContainerShip est une sous-classe de CargoShip |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2337-2337 | RefrigeratedCargoShip est une sous-classe de CargoShip |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2340-2340 | RollOnRollOffCargoShip est une sous-classe de CargoShip |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2359-2359 | MultifunctionalLargeLoadCarrierShip est une sous-classe de CargoShip |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2363-2363 | PetroleumTankerShip est une sous-classe de CargoShip |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2371-2371 | ChemicalTankerShip est une sous-classe de CargoShip |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2382-2382 | LiquefiedGasTankerShip est une sous-classe de CargoShip |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2395-2395 | CombinationBulkCarrierShip est une sous-classe de CargoShip |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2418-2418 | DryBulkCarrierShip est une sous-classe de CargoShip |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2427-2427 | SpecializedTankerShip est une sous-classe de CargoShip |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2433-2433 | PassengerAndCargoShip est une sous-classe de CargoShip |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2483-2483 | OceanLiner est une sous-classe de CargoShip |
|
|