Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - 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 4830-4833
(subclass Sea BodyOfWater) Geography.kif 4828-4828 SeaBodyOfWatersubclass では
(subclass Sea SaltWaterArea) Geography.kif 4827-4827 Sea塩水地域subclass では

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


(instance ArabianSea Sea) Geography.kif 4905-4905 ArabianSeaSeainstance では
(instance BalticSea Sea) Geography.kif 4904-4904 BalticSeaSeainstance では
(instance BeringSea Sea) Geography.kif 4903-4903 BeringSeaSeainstance では
(instance BlackSea Sea) Geography.kif 4896-4896 BlackSeaSeainstance では
(instance CaribbeanSea Sea) Geography.kif 4895-4895 CaribbeanSeaSeainstance では
(instance MediterraneanSea Sea) Geography.kif 4868-4868 MediterraneanSeaSeainstance では
(instance NorthSea Sea) Geography.kif 4906-4906 NorthSeaSeainstance では
(instance RedSea Sea) Geography.kif 4897-4897 RedSeaSeainstance では
(termFormat ChineseLanguage Sea "海") domainEnglishFormat.kif 51643-51643 RedSeaSeainstance では
(termFormat ChineseTraditionalLanguage Sea "海") domainEnglishFormat.kif 51642-51642 RedSeaSeainstance では
(termFormat EnglishLanguage Sea "sea") domainEnglishFormat.kif 51641-51641 RedSeaSeainstance では

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


(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0.0 FootLength)))
Geography.kif 4842-4847
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0.0 Meter)))
Geography.kif 4835-4840
(=>
    (instance ?SEA Sea)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?LAND ?SEA))))
Geography.kif 4861-4866
(=>
    (instance ?SEA Sea)
    (exists (?OCEAN ?PATH)
        (and
            (instance ?OCEAN Ocean)
            (instance ?PATH WaterArea)
            (connects ?PATH ?OCEAN ?SEA))))
Geography.kif 4853-4859
(=>
    (instance ?SEA Sea)
    (properPart ?SEA WorldOcean))
Geography.kif 4849-4851

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


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