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 4451-4454
(subclass Sea BodyOfWater) Geography.kif 4449-4449 Sea is a subclass of body of water
(subclass Sea SaltWaterArea) Geography.kif 4448-4448 Sea is a subclass of salt water area

appearance as argument number 2
-------------------------


(instance ArabianSea Sea) Geography.kif 4498-4498 Arabian sea is an instance of sea
(instance BalticSea Sea) Geography.kif 4497-4497 Baltic sea is an instance of sea
(instance BeringSea Sea) Geography.kif 4496-4496 Bering sea is an instance of sea
(instance BlackSea Sea) Geography.kif 4489-4489 Black sea is an instance of sea
(instance CaribbeanSea Sea) Geography.kif 4488-4488 Caribbean sea is an instance of sea
(instance MediterraneanSea Sea) Geography.kif 4487-4487 Mediterranean sea is an instance of sea
(instance NorthSea Sea) Geography.kif 4499-4499 North sea is an instance of sea
(instance RedSea Sea) Geography.kif 4490-4490 Red sea is an instance of sea
(termFormat ChineseLanguage Sea "海") domainEnglishFormat.kif 51577-51577 "海" is the printable form of sea in ChineseLanguage
(termFormat ChineseTraditionalLanguage Sea "海") domainEnglishFormat.kif 51576-51576 "海" is the printable form of sea in ChineseTraditionalLanguage
(termFormat EnglishLanguage Sea "sea") domainEnglishFormat.kif 51575-51575 "sea" is the printable form of sea in english language

antecedent
-------------------------


(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0 FootLength)))		 Geography.kif 4462-4466
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0 Meter)))		 Geography.kif 4456-4460
(=>
    (instance ?SEA Sea)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?LAND ?SEA))))		 Geography.kif 4480-4485
(=>
    (instance ?SEA Sea)
    (exists (?OCEAN ?PATH)
        (and
            (instance ?OCEAN Ocean)
            (instance ?PATH WaterArea)
            (connects ?PATH ?OCEAN ?SEA))))		 Geography.kif 4472-4478
(=>
    (instance ?SEA Sea)
    (properPart ?SEA WorldOcean))		 Geography.kif 4468-4470

consequent
-------------------------


(=>
    (instance ?GULF Gulf)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (connected ?GULF ?SEA))))		 Geography.kif 4807-4814
(=>
    (instance ?PORT PortCity)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (or
                (orientation ?PORT ?SEA Adjacent)
                (orientation ?PORT ?SEA Near)))))		 Transportation.kif 830-839
(=>
    (instance ?PORT SeaPort)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (or
                (orientation ?PORT ?SEA Adjacent)
                (orientation ?PORT ?SEA Near)))))		 Transportation.kif 862-871


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners