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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WaterArea
WaterArea

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


(documentation WaterArea ChineseLanguage "一处主要由水组成的地区，例如：河流、湖泊和海洋等等。") chinese_format.kif 1448-1448
(documentation WaterArea EnglishLanguage "A body which is made up predominantly of water, e.g. rivers, lakes, oceans, etc.") Merge.kif 12982-12983
(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 and "http://upload.wikimedia.org/wikipedia/commons/3/32/ Iceberg_with_hole_near_sanderson_hope_2007-07-28_2.jpg"
(externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 7/ 76/ Bay_of_Fundy_High_Tide.jpg") pictureList.kif 9826-9826 externalImage WaterArea and "http://upload.wikimedia.org/wikipedia/commons/7/76/ Bay_of_Fundy_High_Tide.jpg"
(subclass WaterArea GeographicArea) Merge.kif 12981-12981 subclass WaterArea and GeographicArea

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


(partition GeographicArea WaterArea LandArea) Merge.kif 12893-12893 partition GeographicArea, WaterArea and LandArea
(subclass Anchorage WaterArea) Transportation.kif 910-910 subclass Anchorage and WaterArea
(subclass BodyOfWater WaterArea) Geography.kif 4247-4247 subclass BodyOfWater and WaterArea
(subclass FreshWaterArea WaterArea) Merge.kif 12999-12999 subclass FreshWaterArea and WaterArea
(subclass Harbor WaterArea) Transportation.kif 906-906 subclass Harbor and WaterArea
(subclass HydropowerWaterArea WaterArea) Geography.kif 1978-1978 subclass HydropowerWaterArea and WaterArea
(subclass InlandWaterSystem WaterArea) Geography.kif 5019-5019 subclass InlandWaterSystem and WaterArea
(subclass RiverMouth WaterArea) Geography.kif 5332-5332 subclass RiverMouth and WaterArea
(subclass RiverSystem WaterArea) Geography.kif 5187-5187 subclass RiverSystem and WaterArea
(subclass SaltWaterArea WaterArea) Merge.kif 12994-12994 subclass SaltWaterArea and WaterArea
(subclass ShipBerth WaterArea) Transportation.kif 2906-2906 subclass ShipBerth and WaterArea
(subclass StaticWaterArea WaterArea) Mid-level-ontology.kif 8760-8760 subclass StaticWaterArea and WaterArea
(subclass StreamWaterArea WaterArea) Mid-level-ontology.kif 8753-8753 subclass StreamWaterArea and WaterArea
(subclass StreamWaterConfluence WaterArea) Geography.kif 5161-5161 subclass StreamWaterConfluence and WaterArea
(subclass WaterCurrent WaterArea) Geography.kif 4618-4618 subclass WaterCurrent and WaterArea
(subclass Waterway WaterArea) Geography.kif 5255-5255 subclass Waterway and WaterArea
(termFormat ChineseLanguage WaterArea "水域") chinese_format.kif 950-950 termFormat ChineseLanguage, WaterArea and "水域"
(termFormat EnglishLanguage WaterArea "water area") english_format.kif 1112-1112 termFormat EnglishLanguage, WaterArea and "water area"

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


(domain ShorelineFn 2 WaterArea) Geography.kif 5766-5766 domain ShorelineFn, 2 and WaterArea
(domain flowCurrent 2 WaterArea) Geography.kif 5237-5237 domain flowCurrent, 2 and WaterArea
(domain navigableForDraft 1 WaterArea) Transportation.kif 2615-2615 domain navigableForDraft, 1 and WaterArea
(domain navigableForShippingTonnage 1 WaterArea) Transportation.kif 2598-2598 domain navigableForShippingTonnage, 1 and WaterArea
(domain seaSurfaceTemperature 1 WaterArea) Weather.kif 586-586 domain seaSurfaceTemperature, 1 and WaterArea
(domain streamOutfall 1 WaterArea) Geography.kif 5364-5364 domain streamOutfall, 1 and WaterArea
(domain waterDepth 1 WaterArea) Mid-level-ontology.kif 15123-15123 domain waterDepth, 1 and WaterArea

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


(=>
    (and
        (instance ?COAST Seacoast)
        (instance ?WATER WaterArea)
        (orientation ?WATER ?COAST Adjacent))
    (instance ?WATER SaltWaterArea))		 Geography.kif 5723-5728
(=>
    (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 5239-5248
(=>
    (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 5749-5758
(=>
    (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 5058-5073
(=>
    (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 12985-12992

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


(=>
    (and
        (instance ?ASO AntiSurfaceOperation)
        (patient ?ASO ?TARGET)
        (holdsDuring
            (WhenFn ?ASO)
            (located ?TARGET ?LOCATION)))
    (instance ?LOCATION WaterArea))		 MilitaryProcesses.kif 665-671
(=>
    (and
        (instance ?CRAFT WaterVehicle)
        (instance ?EVENT Transportation)
        (instrument ?EVENT ?CRAFT))
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (eventLocated ?EVENT ?WATER))))		 Mid-level-ontology.kif 4030-4038
(=>
    (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 5500-5514
(=>
    (and
        (instance ?SWIM Swimming)
        (agent ?SWIM ?AGENT))
    (exists (?AREA)
        (and
            (instance ?AREA WaterArea)
            (located ?AGENT ?AREA))))		 Merge.kif 10321-10328
(=>
    (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 5058-5073
(=>
    (and
        (subclass ?TYPE WaterVehicle)
        (instance ?EVENT
            (TransportationFn ?TYPE))
        (eventLocated ?EVENT ?PLACE))
    (instance ?PLACE WaterArea))		 Transportation.kif 2276-2281
(=>
    (instance ?BANK ShoreArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?BANK ?WATER))))		 Merge.kif 13035-13040
(=>
    (instance ?CHANNEL Canal)
    (exists (?WATER1 ?WATER2)
        (and
            (instance ?WATER1 WaterArea)
            (instance ?WATER2 WaterArea)
            (connects ?CHANNEL ?WATER1 ?WATER2))))		 Geography.kif 5276-5282
(=>
    (instance ?CHANNEL Channel)
    (exists (?WATER1 ?WATER2)
        (and
            (instance ?WATER1 WaterArea)
            (instance ?WATER2 WaterArea)
            (connects ?CHANNEL ?WATER1 ?WATER2))))		 Geography.kif 5000-5006
(=>
    (instance ?Cape Cape)
    (exists (?WaterRegion)
        (and
            (instance ?WaterRegion WaterArea)
            (penetrates ?Cape ?WaterRegion))))		 Geography.kif 5488-5493
(=>
    (instance ?DAM Dam)
    (exists (?RIVER)
        (and
            (instance ?RIVER WaterArea)
            (traverses ?DAM ?RIVER))))		 Geography.kif 5294-5299
(=>
    (instance ?EXCLUSIVELANDAREA SurfaceGroundArea)
    (not
        (exists (?WATERAREA)
            (and
                (instance ?WATERAREA WaterArea)
                (part ?WATERAREA ?EXCLUSIVELANDAREA)))))		 Geography.kif 578-584
(=>
    (instance ?INLET Inlet)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (connected ?INLET ?WATER))))		 Geography.kif 4910-4915
(=>
    (instance ?ISLE Island)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?ISLE ?WATER))))		 Merge.kif 13077-13082
(=>
    (instance ?LAND SubmergedLandArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (orientation ?LAND ?WATER Below)
            (orientation ?WATER ?LAND On)
            (meetsSpatially ?LAND ?WATER))))		 Geography.kif 5669-5676
(=>
    (instance ?LINE Shoreline)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?WATER ?LINE))))		 Geography.kif 5735-5740
(=>
    (instance ?P Wading)
    (exists (?W)
        (and
            (instance ?W WaterArea)
            (eventLocated ?P ?W))))		 Mid-level-ontology.kif 713-718
(=>
    (instance ?Peninsula Peninsula)
    (exists (?Water)
        (and
            (instance ?Water WaterArea)
            (penetrates ?Peninsula ?Water))))		 Geography.kif 5477-5482
(=>
    (instance ?Reef Reef)
    (exists (?Water)
        (and
            (instance ?Water WaterArea)
            (orientation ?Reef ?Water Near))))		 Geography.kif 5545-5550
(=>
    (instance ?S Sinking)
    (exists (?W)
        (and
            (instance ?W WaterArea)
            (eventLocated ?S ?W))))		 Mid-level-ontology.kif 10718-10723
(=>
    (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 25077-25086
(=>
    (instance ?SEA Sea)
    (exists (?OCEAN ?PATH)
        (and
            (instance ?OCEAN Ocean)
            (instance ?PATH WaterArea)
            (connects ?PATH ?OCEAN ?SEA))))		 Geography.kif 4472-4478
(=>
    (instance ?SKI WaterSki)
    (hasPurpose ?SKI
        (exists (?GLIDE ?WATER)
            (and
                (instance ?WATER WaterArea)
                (instance ?GLIDE Transportation)
                (instrument ?GLIDE ?SKI)
                (eventLocated ?GLIDE ?WATER)))))		 Sports.kif 1082-1090
(=>
    (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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners