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 31955-31958 | |
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 1689-1689 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31954-31954 | 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 2491-2491 | Cargo ship has &ames$"name" "freighter" |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2500-2500 | Barge carrier ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2547-2547 | Chemical tanker ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2572-2572 | Combination bulk carrier ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2507-2507 | Container ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2596-2596 | Dry bulk carrier ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2490-2490 | General cargo ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2558-2558 | Liquefied gas tanker ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2502-2502 | Livestock carrier ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2535-2535 | Multifunctional large load carrier ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2677-2677 | Ocean liner is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2611-2611 | Passenger and cargo ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2539-2539 | Petroleum tanker ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2512-2512 | Refrigerated cargo ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2515-2515 | 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 2605-2605 | Specialized tanker ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13245-13245 | Specialized tanker ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13244-13244 | Specialized tanker ship is a subclass of cargo ship |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13243-13243 | Specialized tanker ship is a subclass of cargo ship |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31960-31969 |
|
consequent |
![]() |
![]() |
![]() |