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
-------------------------


(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 6312-6315
(subclass Sea BodyOfWater) Geography.kif 6310-6310 Sea is a subclass of body of water
(subclass Sea SaltWaterArea) Geography.kif 6309-6309 Sea is a subclass of salt water area

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


(instance ArabianSea Sea) Geography.kif 6375-6375 Arabian sea is an instance of sea
(instance BalticSea Sea) Geography.kif 6374-6374 Baltic sea is an instance of sea
(instance BeringSea Sea) Geography.kif 6373-6373 Bering sea is an instance of sea
(instance BlackSea Sea) Geography.kif 6366-6366 Black sea is an instance of sea
(instance CaribbeanSea Sea) Geography.kif 6365-6365 Caribbean sea is an instance of sea
(instance MediterraneanSea Sea) Geography.kif 6350-6350 Mediterranean sea is an instance of sea
(instance NorthSea Sea) Geography.kif 6376-6376 North sea is an instance of sea
(instance RedSea Sea) Geography.kif 6367-6367 Red sea is an instance of sea
(termFormat ChineseLanguage Sea "海") domainEnglishFormat.kif 51642-51642 Red sea is an instance of sea
(termFormat ChineseTraditionalLanguage Sea "海") domainEnglishFormat.kif 51641-51641 Red sea is an instance of sea
(termFormat EnglishLanguage Sea "sea") domainEnglishFormat.kif 51640-51640 Red sea is an instance of sea

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


(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0.0 FootLength)))		 Geography.kif 6324-6329
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0.0 Meter)))		 Geography.kif 6317-6322
(=>
    (instance ?SEA Sea)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?LAND ?SEA))))		 Geography.kif 6343-6348
(=>
    (instance ?SEA Sea)
    (exists (?OCEAN ?PATH)
        (and
            (instance ?OCEAN Ocean)
            (instance ?PATH WaterArea)
            (connects ?PATH ?OCEAN ?SEA))))		 Geography.kif 6335-6341
(=>
    (instance ?SEA Sea)
    (properPart ?SEA WorldOcean))		 Geography.kif 6331-6333

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


(=>
    (instance ?GULF Gulf)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (connected ?GULF ?SEA))))		 Geography.kif 6695-6702
(=>
    (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
(=>
    (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


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