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. |
Mid-level-ontology.kif 30050-30050 |
Cargo ship 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 2449-2449 |
Dredger 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 2455-2455 |
Ice breaker ship is a subclass of ship |
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. |
Military.kif 187-187 |
Military ship 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 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 2309-2309 |
Passenger 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 2452-2452 |
Sludge disposal vessel is a subclass of ship |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52599-52599 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52598-52598 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52597-52597 |
|