TreeView Knowledge Base Browser - Sea

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sea

Sigma KEE - Sea

Sea(sea)

Adriatic, Adriatic_Sea, Aegean, Aegean_Sea, Andaman_Sea, Arafura_Sea, Barents_Sea, Beaufort_Sea, Bismarck_Sea, Chukchi_Sea, Coral_Sea, East_China_Sea, East_Sea, Greenland_Sea, Huang_Hai, Hudson_Bay, Inland_Sea, Ionian_Sea, Irish_Sea, Kara_Sea, Labrador_Sea, Laptev_Sea, Ligurian_Sea, Marmara, Marmara_Denizi, Marmora, Norwegian_Sea, Ross_Sea, Sargasso_Sea, Sea_of_Azof, Sea_of_Azoff, Sea_of_Azov, Sea_of_Japan, Sea_of_Marmara, Sea_of_Marmora, Sea_of_Okhotsk, South_China_Sea, South_Sea, Tasman_Sea, Timor_Sea, Tyrrhenian_Sea, Weddell_Sea, White_Sea, Yellow_Sea, sea

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4760-4763
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4758-4758	Sea is a subclass of body of water
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4757-4757	Sea 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 4809-4809	Arabian sea is an instance of sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4808-4808	Baltic sea is an instance of sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4807-4807	Bering sea is an instance of sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4800-4800	Black sea is an instance of sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4799-4799	Caribbean sea is an instance of sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4798-4798	Mediterranean sea is an instance of sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4810-4810	North sea is an instance of sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4801-4801	Red sea is an instance of sea
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51639-51639
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51638-51638
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51637-51637

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4772-4777	If a self connected object is an instance of sea and the top of the self connected object is another self connected object, then the altitude of the other self connected object is sea level
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4765-4770	If a self connected object is an instance of sea and the top of the self connected object is another self connected object, then the altitude of the other self connected object is sea level
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4791-4796	If an object is an instance of sea, then there exists another object such that the other object is an instance of land area and the other object meets the 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
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

consequent

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

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