No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2303-2303 | Ship is a subclass of displacement hull water vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1019-1019 | Merchant marine ship is a subclass of ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2309-2309 | Passenger ship is a subclass of ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2443-2443 | Offshore supply ship is a subclass of ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2444-2444 | Offshore support ship is a subclass of ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2445-2445 | Offshore well production ship is a subclass of ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2446-2446 | Drilling ship is a subclass of ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2447-2447 | Research ship is a subclass of ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2449-2449 | Dredger is a subclass of ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2451-2451 | Motor hopper is a subclass of ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2452-2452 | Sludge disposal vessel is a subclass of ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2453-2453 | Crane ship is a subclass of ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2454-2454 | Cable ship is a subclass of ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2455-2455 | Ice breaker ship is a subclass of ship |
No TPTP formula. May not be expressible in strict first order. | Military.kif 187-187 | Military ship is a subclass of ship |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30062-30062 | Cargo ship is a subclass of ship |