CargoShip - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - CargoShip

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 31714-31717
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 31713-31713	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 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 13251-13251	Specialized tanker ship is a subclass of cargo ship
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13250-13250	Specialized tanker ship is a subclass of cargo ship
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13249-13249	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 31719-31728

If a physical is an instance of cargo ship,
then there exist an entity and another entity such that the entity is an instance of shipping and the other entity is an instance of object and the physical has the purpose the physical is an instrument for the entity and the other entity is a patient of the entity

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 8184-8197	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and coastal and great lakes freight transportation is an attribute of the cognitive agent, then there exist a process, an object and a geographic area such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of cargo ship and the process is located at the geographic area and the geographic area is an instance of water area and the geographic area is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order.	naics.kif 8139-8150	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and deep sea freight transportation is an attribute of the cognitive agent, then there exist a process and an object such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of cargo ship and the process is located at world ocean

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners