TreeView Knowledge Base Browser - WorldOcean

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 4503-4506
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4952-4952
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4499-4499	World ocean is an instance of body of water
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4498-4498	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 3537-3537	International hydrographic organization is interested in world ocean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4501-4501	World ocean has name "the ocean"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4500-4500	World ocean has name "world ocean"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63537-63537
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63536-63536
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63535-63535

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 4508-4510	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 4530-4532	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 4779-4781	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 5187-5193	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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