WorldOcean - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WorldOcean

WorldOcean(world ocean)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4573-4576
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4951-4951
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4569-4569	World ocean is an instance of body of water
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4568-4568	World ocean is an instance of salt water area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3498-3498	International hydrographic organization is interested in world ocean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4571-4571	World ocean has &ames$"name" "the ocean"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4570-4570	World ocean has &ames$"name" "world ocean"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63531-63531	World ocean has &ames$"name" "world ocean"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63530-63530	World ocean has &ames$"name" "world ocean"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63529-63529	World ocean has &ames$"name" "world ocean"

consequent

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
No TPTP formula. May not be expressible in strict first order.	naics.kif 8159-8175	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and deep sea passenger 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 passenger ship and the process is located at world ocean and there doesn't exist an entity such that the entity is an instance of short sea passenger ship and the object is equal to the entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4578-4580	If an object is an instance of continent, then the object meets world ocean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4600-4602	If an object is an instance of ocean, then the object is a proper part of world ocean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4849-4851	If an object is an instance of sea, then the object is a proper part of world ocean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5308-5314	If an object is an instance of estuary, then there exists another object such that the other object is an instance of salt water area and the other object is a part of world ocean and the other object is connected to the object

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