| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2303-2303 | Ship est une sous-classe de DisplacementHullWaterVehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1019-1019 | MerchantMarineShip est une sous-classe de Ship |
| 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 2443-2443 | OffshoreSupplyShip est une sous-classe de Ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2444-2444 | OffshoreSupportShip est une sous-classe de Ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2445-2445 | OffshoreWellProductionShip est une sous-classe de Ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2446-2446 | DrillingShip est une sous-classe de Ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2447-2447 | ResearchShip est une sous-classe de Ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2449-2449 | Dredger est une sous-classe de Ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2451-2451 | MotorHopper est une sous-classe de Ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2452-2452 | SludgeDisposalVessel est une sous-classe de Ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2453-2453 | CraneShip est une sous-classe de Ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2454-2454 | CableShip est une sous-classe de Ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2455-2455 | IceBreakerShip est une sous-classe de Ship |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 187-187 | MilitaryShip est une sous-classe de Ship |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30050-30050 | CargoShip est une sous-classe de Ship |
|
|