| 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 28252-28255 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1691-1691 | |
| 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. | Mid-level-ontology.kif 28251-28251 | 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 2305-2305 | Cargo ship has name "freighter" |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2314-2314 | Barge carrier ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2360-2360 | Chemical tanker ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2384-2384 | Combination bulk carrier ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2321-2321 | Container ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2407-2407 | Dry bulk carrier ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2304-2304 | General cargo ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2371-2371 | Liquefied gas tanker ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2316-2316 | Livestock carrier ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2348-2348 | Multifunctional large load carrier ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2462-2462 | Ocean liner is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2422-2422 | Passenger and cargo ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2352-2352 | Petroleum tanker ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2326-2326 | Refrigerated cargo ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2329-2329 | 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 2416-2416 | Specialized tanker ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13171-13171 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13170-13170 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13169-13169 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28257-28266 |
|
|
|
|