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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SaltWaterArea

Sigma KEE - SaltWaterArea
SaltWaterArea

appearance as argument number 1
-------------------------


(disjoint SaltWaterArea FreshWaterArea) Merge.kif 14145-14145
(documentation SaltWaterArea ChineseLanguage "这是一处含盐 WaterWaterArea,例如:海洋和 海。") Merge.kif 14148-14149
(documentation SaltWaterArea EnglishLanguage "A WaterArea whose Water is saline, e.g. oceans and seas.") Merge.kif 14146-14147
(externalImage SaltWaterArea "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ Wiki_plot_04.png") pictureList.kif 2520-2520
(externalImage SaltWaterArea "http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ World_ocean_map.gif") pictureList.kif 2626-2626
(subclass SaltWaterArea WaterArea) Merge.kif 14144-14144

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


(instance GulfOfAden SaltWaterArea) Geography.kif 4830-4830
(instance GulfOfMexico SaltWaterArea) Geography.kif 4838-4838
(instance GulfOfOman SaltWaterArea) Geography.kif 4822-4822
(instance NorthAtlanticOcean SaltWaterArea) Geography.kif 4282-4282
(instance NorthPacificOcean SaltWaterArea) Geography.kif 4314-4314
(instance PersianGulf SaltWaterArea) Geography.kif 4816-4816
(instance SouthAtlanticOcean SaltWaterArea) Geography.kif 4295-4295
(instance SouthPacificOcean SaltWaterArea) Geography.kif 4328-4328
(instance StraitOfHormuz SaltWaterArea) Geography.kif 4977-4977
(instance WorldOcean SaltWaterArea) Geography.kif 4241-4241
(subclass Estuary SaltWaterArea) Geography.kif 4844-4844
(subclass ExclusiveFishingZone SaltWaterArea) Geography.kif 1118-1118
(subclass ExtendedFishingZone SaltWaterArea) Geography.kif 1149-1149
(subclass Gulf SaltWaterArea) Geography.kif 4787-4787
(subclass MaritimeContiguousZone SaltWaterArea) Geography.kif 1017-1017
(subclass MaritimeExclusiveEconomicZone SaltWaterArea) Geography.kif 1086-1086
(subclass Ocean SaltWaterArea) Geography.kif 4255-4255
(subclass SaltLake SaltWaterArea) Geography.kif 4750-4750
(subclass Sea SaltWaterArea) Geography.kif 4434-4434
(subclass TerritorialSea SaltWaterArea) Geography.kif 1180-1180
(subclass Tide SaltWaterArea) Geography.kif 4616-4616
(termFormat ChineseLanguage SaltWaterArea "盐水区") chinese_format.kif 951-951
(termFormat EnglishLanguage SaltWaterArea "salt water area") english_format.kif 919-919
(termFormat JapaneseLanguage SaltWaterArea "塩水地域") english_format.kif 920-920

appearance as argument number 3
-------------------------


(domain SeacoastFn 2 SaltWaterArea) Geography.kif 5693-5693

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


(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER SaltWaterArea))
    (instance ?INLET SaltWaterArea))
Geography.kif 4903-4908

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


(<=>
    (attribute ?WATER OpenSea)
    (forall (?LAND)
        (and
            (instance ?AREA SaltWaterArea)
            (not
                (instance ?WATER LandlockedWater))
            (distance ?LAND ?WATER ?DIST)
            (greaterThan ?DIST
                (MeasureFn 5 NauticalMile)))))
Geography.kif 4408-4415
(=>
    (and
        (instance ?COAST Seacoast)
        (instance ?WATER WaterArea)
        (orientation ?WATER ?COAST Adjacent))
    (instance ?WATER SaltWaterArea))
Geography.kif 5707-5712
(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER SaltWaterArea))
    (instance ?INLET SaltWaterArea))
Geography.kif 4903-4908
(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?WATER)
            (and
                (instance ?WATER SaltWaterArea)
                (part ?WATER ?SEA)
                (instance ?SEA Ocean)
                (meetsSpatially ?AREA ?WATER)))))
Geography.kif 928-936
(=>
    (instance ?GULF Gulf)
    (exists (?WATER)
        (and
            (instance ?WATER SaltWaterArea)
            (properPart ?GULF ?WATER))))
Geography.kif 4802-4807
(=>
    (instance ?WATER Estuary)
    (exists (?SEA)
        (and
            (instance ?SEA SaltWaterArea)
            (part ?SEA WorldOcean)
            (connected ?SEA ?WATER))))
Geography.kif 4851-4857


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners