Ocean - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Ocean

Ocean(ocean)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4515-4521
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 905-905
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4513-4513	Ocean is a subclass of body of water
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4512-4512	Ocean is a subclass of salt water area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4634-4634	Arctic ocean is an instance of ocean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4534-4534	Atlantic ocean is an instance of ocean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4625-4625	Indian ocean is an instance of ocean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4566-4566	Pacific ocean is an instance of ocean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4649-4649	Southern ocean is an instance of ocean
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41626-41626
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41625-41625
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41624-41624

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5733-5737	If an object is an instance of lake and another object is an instance of ocean, then the object is smaller than the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4643-4647	If an object is an instance of ocean and the object is not equal to arctic ocean, then arctic ocean is smaller than the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4523-4528	If an object is an instance of body of water and the object is not an instance of ocean and another object is an instance of ocean, then the other object is larger than the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4837-4842	If a self connected object is an instance of ocean and another self connected object is a surface of the self connected object, then 0.0 foot length(s) is an elevation of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4830-4835	If a self connected object is an instance of ocean and another self connected object is a surface of the self connected object, then 0.0 meter(s) is an elevation of the other self connected object
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

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 942-950	If an object is an instance of landlocked area, then there don't exist another object and a third object such that the other object is an instance of salt water area and the other object is a part of the third object and the third object is an instance of ocean and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 934-940	If an object is an instance of landlocked area, then there doesn't exist another object such that the other object is an instance of ocean and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5129-5136	If an object is an instance of gulf, then there exists another object such that the other object is an instance of sea or the other object is an instance of ocean and the object is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 841-850	If an object is an instance of port city, then there exists another object such that the other object is an instance of sea or the other object is an instance of ocean and the object is adjacent to the other object or the object is near to the other object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 873-882	If an object is an instance of sea port, then there exists another object such that the other object is an instance of sea or the other object is an instance of ocean and the object is adjacent to the other object or the object is near to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4783-4789	If an object is an instance of sea, then there exist another object and a third object such that the other object is an instance of ocean and the third object is an instance of water area and the third object connects the other object and 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