CargoShip(cargo ship) | Liberty_ship, banana_boat, bottom, cargo_ship, cargo_vessel, freighter, merchant_ship, merchantman |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30051-30054 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 323-323 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1690-1690 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30050-30050 | Cargo ship is a subclass of ship |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2316-2316 | Cargo ship has name "freighter" |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2325-2325 | Barge carrier ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2371-2371 | Chemical tanker ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2395-2395 | Combination bulk carrier ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2332-2332 | Container ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2418-2418 | Dry bulk carrier ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2315-2315 | General cargo ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2382-2382 | Liquefied gas tanker ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2327-2327 | Livestock carrier ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2359-2359 | Multifunctional large load carrier ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2483-2483 | Ocean liner is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2433-2433 | Passenger and cargo ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2363-2363 | Petroleum tanker ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2337-2337 | Refrigerated cargo ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2340-2340 | Roll on roll off cargo ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2427-2427 | Specialized tanker ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13236-13236 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13235-13235 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13234-13234 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30056-30065 |
|
consequent |