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 4760-4763
(subclass Sea BodyOfWater) Geography.kif 4758-4758 Sea est une sous-classe de BodyOfWater
(subclass Sea SaltWaterArea) Geography.kif 4757-4757 Sea est une sous-classe de plan d'eau sal�

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


(instance ArabianSea Sea) Geography.kif 4809-4809 ArabianSea est une instance de Sea
(instance BalticSea Sea) Geography.kif 4808-4808 BalticSea est une instance de Sea
(instance BeringSea Sea) Geography.kif 4807-4807 BeringSea est une instance de Sea
(instance BlackSea Sea) Geography.kif 4800-4800 BlackSea est une instance de Sea
(instance CaribbeanSea Sea) Geography.kif 4799-4799 CaribbeanSea est une instance de Sea
(instance MediterraneanSea Sea) Geography.kif 4798-4798 MediterraneanSea est une instance de Sea
(instance NorthSea Sea) Geography.kif 4810-4810 NorthSea est une instance de Sea
(instance RedSea Sea) Geography.kif 4801-4801 RedSea est une instance de Sea
(termFormat ChineseLanguage Sea "海") domainEnglishFormat.kif 51639-51639
(termFormat ChineseTraditionalLanguage Sea "海") domainEnglishFormat.kif 51638-51638
(termFormat EnglishLanguage Sea "sea") domainEnglishFormat.kif 51637-51637

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


(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0.0 FootLength)))
Geography.kif 4772-4777
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0.0 Meter)))
Geography.kif 4765-4770
(=>
    (instance ?SEA Sea)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?LAND ?SEA))))
Geography.kif 4791-4796
(=>
    (instance ?SEA Sea)
    (exists (?OCEAN ?PATH)
        (and
            (instance ?OCEAN Ocean)
            (instance ?PATH WaterArea)
            (connects ?PATH ?OCEAN ?SEA))))
Geography.kif 4783-4789
(=>
    (instance ?SEA Sea)
    (properPart ?SEA WorldOcean))
Geography.kif 4779-4781

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


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