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 4551-4554
(subclass Sea BodyOfWater) Geography.kif 4549-4549
(subclass Sea SaltWaterArea) Geography.kif 4548-4548

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


(instance ArabianSea Sea) Geography.kif 4598-4598
(instance BalticSea Sea) Geography.kif 4597-4597
(instance BeringSea Sea) Geography.kif 4596-4596
(instance BlackSea Sea) Geography.kif 4589-4589
(instance CaribbeanSea Sea) Geography.kif 4588-4588
(instance MediterraneanSea Sea) Geography.kif 4587-4587
(instance NorthSea Sea) Geography.kif 4599-4599
(instance RedSea Sea) Geography.kif 4590-4590
(termFormat ChineseLanguage Sea "海") domainEnglishFormat.kif 51622-51622
(termFormat ChineseTraditionalLanguage Sea "海") domainEnglishFormat.kif 51621-51621
(termFormat EnglishLanguage Sea "sea") domainEnglishFormat.kif 51620-51620

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


(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0 FootLength)))
Geography.kif 4562-4566
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0 Meter)))
Geography.kif 4556-4560
(=>
    (instance ?SEA Sea)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?LAND ?SEA))))
Geography.kif 4580-4585
(=>
    (instance ?SEA Sea)
    (exists (?OCEAN ?PATH)
        (and
            (instance ?OCEAN Ocean)
            (instance ?PATH WaterArea)
            (connects ?PATH ?OCEAN ?SEA))))
Geography.kif 4572-4578
(=>
    (instance ?SEA Sea)
    (properPart ?SEA WorldOcean))
Geography.kif 4568-4570

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


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