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 4466-4469
(subclass Sea BodyOfWater) Geography.kif 4464-4464 Sea is a subclass of body of water
(subclass Sea SaltWaterArea) Geography.kif 4463-4463 Sea is a subclass of salt water area

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


(instance ArabianSea Sea) Geography.kif 4513-4513 Arabian sea is an instance of sea
(instance BalticSea Sea) Geography.kif 4512-4512 Baltic sea is an instance of sea
(instance BeringSea Sea) Geography.kif 4511-4511 Bering sea is an instance of sea
(instance BlackSea Sea) Geography.kif 4504-4504 Black sea is an instance of sea
(instance CaribbeanSea Sea) Geography.kif 4503-4503 Caribbean sea is an instance of sea
(instance MediterraneanSea Sea) Geography.kif 4502-4502 Mediterranean sea is an instance of sea
(instance NorthSea Sea) Geography.kif 4514-4514 North sea is an instance of sea
(instance RedSea Sea) Geography.kif 4505-4505 Red sea is an instance of sea
(termFormat ChineseLanguage Sea "海") domainEnglishFormat.kif 51567-51567
(termFormat ChineseTraditionalLanguage Sea "海") domainEnglishFormat.kif 51566-51566
(termFormat EnglishLanguage Sea "sea") domainEnglishFormat.kif 51565-51565

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


(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0 FootLength)))
Geography.kif 4477-4481
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0 Meter)))
Geography.kif 4471-4475
(=>
    (instance ?SEA Sea)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?LAND ?SEA))))
Geography.kif 4495-4500
(=>
    (instance ?SEA Sea)
    (exists (?OCEAN ?PATH)
        (and
            (instance ?OCEAN Ocean)
            (instance ?PATH WaterArea)
            (connects ?PATH ?OCEAN ?SEA))))
Geography.kif 4487-4493
(=>
    (instance ?SEA Sea)
    (properPart ?SEA WorldOcean))
Geography.kif 4483-4485

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


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