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 30063-30066
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 30062-30062	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 30068-30077

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 transportation and the other entity is an instance of object and the physical has the purpose the physical is an agent of 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