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