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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WaterArea

Sigma KEE - WaterArea
WaterArea

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


(documentation WaterArea ChineseLanguage "一处主要由水组成的地区,例如:河流、湖泊和海洋等等。") Merge.kif 14133-14133
(documentation WaterArea EnglishLanguage "A body which is made up predominantly of water, e.g. rivers, lakes, oceans, etc.") Merge.kif 14131-14132
(externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Iceberg_with_hole_near_sanderson_hope_2007-07-28_2.jpg") pictureList.kif 8795-8795
(externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 7/ 76/ Bay_of_Fundy_High_Tide.jpg") pictureList.kif 9826-9826
(subclass WaterArea GeographicArea) Merge.kif 14130-14130

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


(partition GeographicArea WaterArea LandArea) Merge.kif 14029-14029
(subclass Anchorage WaterArea) Transportation.kif 895-895
(subclass BodyOfWater WaterArea) Geography.kif 4234-4234
(subclass FreshWaterArea WaterArea) Merge.kif 14151-14151
(subclass Harbor WaterArea) Transportation.kif 891-891
(subclass HydropowerWaterArea WaterArea) Geography.kif 1966-1966
(subclass InlandWaterSystem WaterArea) Geography.kif 5005-5005
(subclass RiverMouth WaterArea) Geography.kif 5316-5316
(subclass RiverSystem WaterArea) Geography.kif 5171-5171
(subclass SaltWaterArea WaterArea) Merge.kif 14144-14144
(subclass ShipBerth WaterArea) Transportation.kif 2881-2881
(subclass StaticWaterArea WaterArea) Mid-level-ontology.kif 8758-8758
(subclass StreamWaterArea WaterArea) Mid-level-ontology.kif 8751-8751
(subclass StreamWaterConfluence WaterArea) Geography.kif 5147-5147
(subclass WaterCurrent WaterArea) Geography.kif 4604-4604
(subclass Waterway WaterArea) Geography.kif 5239-5239
(termFormat ChineseLanguage WaterArea "水域") chinese_format.kif 950-950
(termFormat EnglishLanguage WaterArea "water area") english_format.kif 916-916
(termFormat JapaneseLanguage WaterArea "水域") english_format.kif 917-917

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


(domain ShorelineFn 2 WaterArea) Geography.kif 5750-5750
(domain flowCurrent 2 WaterArea) Geography.kif 5221-5221
(domain navigableForDraft 1 WaterArea) Transportation.kif 2587-2587
(domain navigableForShippingTonnage 1 WaterArea) Transportation.kif 2570-2570
(domain seaSurfaceTemperature 1 WaterArea) Weather.kif 587-587
(domain streamOutfall 1 WaterArea) Geography.kif 5348-5348
(domain waterDepth 1 WaterArea) Mid-level-ontology.kif 15123-15123

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


(=>
    (and
        (instance ?COAST Seacoast)
        (instance ?WATER WaterArea)
        (orientation ?WATER ?COAST Adjacent))
    (instance ?WATER SaltWaterArea))
Geography.kif 5707-5712
(=>
    (and
        (instance ?FALL Waterfall)
        (instance ?CURRENT WaterMotion)
        (flowCurrent ?CURRENT ?FALL)
        (origin ?CURRENT ?TOP)
        (destination ?CURRENT ?BOTTOM)
        (instance ?TOP WaterArea)
        (instance ?BOTTOM WaterArea))
    (orientation ?TOP ?BOTTOM Above))
Geography.kif 5223-5232
(=>
    (and
        (instance ?SHORE ShoreArea)
        (instance ?WATER WaterArea)
        (orientation ?SHORE ?WATER Adjacent))
    (exists (?LINE)
        (and
            (instance ?LINE Shoreline)
            (part ?LINE ?SHORE)
            (meetsSpatially ?LINE ?WATER))))
Geography.kif 5733-5742
(=>
    (and
        (instance ?SYSTEM InlandWaterSystem)
        (instance ?WATER1 WaterArea)
        (instance ?WATER2 WaterArea)
        (not
            (equal ?WATER1 ?WATER2))
        (not
            (connected ?WATER1 ?WATER2))
        (geographicSubregion ?WATER1 ?SYSTEM)
        (geographicSubregion ?WATER2 ?SYSTEM))
    (exists (?WATER3)
        (and
            (instance ?WATER3 WaterArea)
            (not
                (equal ?WATER3 ?WATER1))
            (not
                (equal ?WATER3 ?WATER1))
            (part ?WATER3 ?SYSTEM)
            (connects ?WATER3 ?WATER1 ?WATER2))))
Geography.kif 5044-5059
(=>
    (instance ?AREA WaterArea)
    (exists (?BED ?HOLE ?WATER)
        (and
            (equal
                (HoleHostFn ?HOLE) ?BED)
            (instance ?WATER Water)
            (properlyFills ?WATER ?HOLE)
            (equal
                (MereologicalSumFn ?BED ?WATER) ?AREA))))
Merge.kif 14135-14142

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


(=>
    (and
        (instance ?ASO AntiSurfaceOperation)
        (patient ?ASO ?TARGET)
        (holdsDuring
            (WhenFn ?ASO)
            (located ?TARGET ?LOCATION)))
    (instance ?LOCATION WaterArea))
MilitaryProcesses.kif 654-660
(=>
    (and
        (instance ?CRAFT WaterVehicle)
        (instance ?EVENT Transportation)
        (instrument ?EVENT ?CRAFT))
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (eventLocated ?EVENT ?WATER))))
Mid-level-ontology.kif 4034-4042
(=>
    (and
        (instance ?Isthmus Isthmus)
        (side ?Leftside ?Isthmus)
        (side ?Rightside ?Isthmus)
        (not
            (equal ?Leftside ?Rightside)))
    (exists (?Region1 ?Region2 ?Water1 ?Water2)
        (and
            (instance ?Region1 LandArea)
            (instance ?Region2 LandArea)
            (between ?Region1 ?Isthmus ?Region2)
            (instance ?Water1 WaterArea)
            (instance ?Water2 WaterArea)
            (meetsSpatially ?Leftside ?Water1)
            (meetsSpatially ?Rightside ?Water2))))
Geography.kif 5484-5498
(=>
    (and
        (instance ?SWIM Swimming)
        (agent ?SWIM ?AGENT))
    (exists (?AREA)
        (and
            (instance ?AREA WaterArea)
            (located ?AGENT ?AREA))))
Merge.kif 11148-11155
(=>
    (and
        (instance ?SYSTEM InlandWaterSystem)
        (instance ?WATER1 WaterArea)
        (instance ?WATER2 WaterArea)
        (not
            (equal ?WATER1 ?WATER2))
        (not
            (connected ?WATER1 ?WATER2))
        (geographicSubregion ?WATER1 ?SYSTEM)
        (geographicSubregion ?WATER2 ?SYSTEM))
    (exists (?WATER3)
        (and
            (instance ?WATER3 WaterArea)
            (not
                (equal ?WATER3 ?WATER1))
            (not
                (equal ?WATER3 ?WATER1))
            (part ?WATER3 ?SYSTEM)
            (connects ?WATER3 ?WATER1 ?WATER2))))
Geography.kif 5044-5059
(=>
    (and
        (subclass ?TYPE WaterVehicle)
        (instance ?EVENT
            (TransportationFn ?TYPE))
        (eventLocated ?EVENT ?PLACE))
    (instance ?PLACE WaterArea))
Transportation.kif 2248-2253
(=>
    (instance ?BANK ShoreArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?BANK ?WATER))))
Merge.kif 14194-14199
(=>
    (instance ?CHANNEL Canal)
    (exists (?WATER1 ?WATER2)
        (and
            (instance ?WATER1 WaterArea)
            (instance ?WATER2 WaterArea)
            (connects ?CHANNEL ?WATER1 ?WATER2))))
Geography.kif 5260-5266
(=>
    (instance ?CHANNEL Channel)
    (exists (?WATER1 ?WATER2)
        (and
            (instance ?WATER1 WaterArea)
            (instance ?WATER2 WaterArea)
            (connects ?CHANNEL ?WATER1 ?WATER2))))
Geography.kif 4986-4992
(=>
    (instance ?Cape Cape)
    (exists (?WaterRegion)
        (and
            (instance ?WaterRegion WaterArea)
            (penetrates ?Cape ?WaterRegion))))
Geography.kif 5472-5477
(=>
    (instance ?DAM Dam)
    (exists (?RIVER)
        (and
            (instance ?RIVER WaterArea)
            (traverses ?DAM ?River))))
Geography.kif 5278-5283
(=>
    (instance ?EXCLUSIVELANDAREA SurfaceGroundArea)
    (not
        (exists (?WATERAREA)
            (and
                (instance ?WATERAREA WaterArea)
                (part ?WATERAREA ?EXCLUSIVELANDAREA)))))
Geography.kif 575-581
(=>
    (instance ?INLET Inlet)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (connected ?INLET ?WATER))))
Geography.kif 4896-4901
(=>
    (instance ?ISLE Island)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?ISLE ?WATER))))
Merge.kif 14241-14246
(=>
    (instance ?LAND SubmergedLandArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (orientation ?LAND ?WATER Below)
            (orientation ?WATER ?LAND On)
            (meetsSpatially ?LAND ?WATER))))
Geography.kif 5653-5660
(=>
    (instance ?LINE Shoreline)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?WATER ?LINE))))
Geography.kif 5719-5724
(=>
    (instance ?P Wading)
    (exists (?W)
        (and
            (instance ?W WaterArea)
            (eventLocated ?P ?W))))
Mid-level-ontology.kif 714-719
(=>
    (instance ?Peninsula Peninsula)
    (exists (?Water)
        (and
            (instance ?Water WaterArea)
            (penetrates ?Peninsula ?Water))))
Geography.kif 5461-5466
(=>
    (instance ?Reef Reef)
    (exists (?Water)
        (and
            (instance ?Water WaterArea)
            (orientation ?Reef ?Water Near))))
Geography.kif 5529-5534
(=>
    (instance ?S Sinking)
    (exists (?W)
        (and
            (instance ?W WaterArea)
            (eventLocated ?S ?W))))
Mid-level-ontology.kif 10713-10718
(=>
    (instance ?SCUBA ScubaDiving)
    (exists (?WATER ?DEVICE ?BREATH)
        (and
            (instance ?WATER WaterArea)
            (orientation ?SCUBA ?WATER Below)
            (instance ?DEVICE Device)
            (instance ?BREATH Breathing)
            (instrument ?BREATH ?DEVICE)
            (subProcess ?BREATH ?SCUBA))))
Mid-level-ontology.kif 25076-25085
(=>
    (instance ?SEA Sea)
    (exists (?OCEAN ?PATH)
        (and
            (instance ?OCEAN Ocean)
            (instance ?PATH WaterArea)
            (connects ?PATH ?OCEAN ?SEA))))
Geography.kif 4458-4464
(=>
    (instance ?SKI WaterSki)
    (hasPurpose ?SKI
        (exists (?GLIDE ?WATER)
            (and
                (instance ?WATER WaterArea)
                (instance ?GLIDE Transportation)
                (instrument ?GLIDE ?SKI)
                (eventLocated ?GLIDE ?WATER)))))
Sports.kif 1080-1088
(=>
    (instance ?TRANSPORT WaterTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT WaterVehicle)
            (instance ?AREA WaterArea)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?AREA))))
Mid-level-ontology.kif 15334-15341
(=>
    (instance ?WAVE WaterWave)
    (exists (?AREA)
        (and
            (instance ?AREA WaterArea)
            (eventLocated ?WAVE ?AREA))))
Mid-level-ontology.kif 15115-15120

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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