Sea - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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

(documentation Sea EnglishLanguage "Sea is the class of smaller subdivisions of the WorldOcean, typically partially surrounded by land. However, for inland salt water bodies that are sometimes called 'Sea', see SaltLake.")	Geography.kif 4738-4741
(subclass Sea BodyOfWater)	Geography.kif 4736-4736	Sea is a subclass of body of water
(subclass Sea SaltWaterArea)	Geography.kif 4735-4735	Sea is a subclass of salt water area

appearance as argument number 2

(instance ArabianSea Sea)	Geography.kif 4787-4787	Arabian sea is an instance of sea
(instance BalticSea Sea)	Geography.kif 4786-4786	Baltic sea is an instance of sea
(instance BeringSea Sea)	Geography.kif 4785-4785	Bering sea is an instance of sea
(instance BlackSea Sea)	Geography.kif 4778-4778	Black sea is an instance of sea
(instance CaribbeanSea Sea)	Geography.kif 4777-4777	Caribbean sea is an instance of sea
(instance MediterraneanSea Sea)	Geography.kif 4776-4776	Mediterranean sea is an instance of sea
(instance NorthSea Sea)	Geography.kif 4788-4788	North sea is an instance of sea
(instance RedSea Sea)	Geography.kif 4779-4779	Red sea is an instance of sea
(termFormat ChineseLanguage Sea "海")	domainEnglishFormat.kif 51651-51651
(termFormat ChineseTraditionalLanguage Sea "海")	domainEnglishFormat.kif 51650-51650
(termFormat EnglishLanguage Sea "sea")	domainEnglishFormat.kif 51649-51649

antecedent

(=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 FootLength)))	Geography.kif 4750-4755	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
(=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 Meter)))	Geography.kif 4743-4748	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
(=> (instance ?SEA Sea) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?LAND ?SEA))))	Geography.kif 4769-4774	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
(=> (instance ?SEA Sea) (exists (?OCEAN ?PATH) (and (instance ?OCEAN Ocean) (instance ?PATH WaterArea) (connects ?PATH ?OCEAN ?SEA))))	Geography.kif 4761-4767	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
(=> (instance ?SEA Sea) (properPart ?SEA WorldOcean))	Geography.kif 4757-4759	If an object is an instance of sea, then the object is a proper part of world ocean

consequent

(=> (instance ?GULF Gulf) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (connected ?GULF ?SEA))))	Geography.kif 5107-5114	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
(=> (instance ?PORT PortCity) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (or (orientation ?PORT ?SEA Adjacent) (orientation ?PORT ?SEA Near)))))	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
(=> (instance ?PORT SeaPort) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (or (orientation ?PORT ?SEA Adjacent) (orientation ?PORT ?SEA Near)))))	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 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