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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WaterArea
WaterArea(water area)
Bo_Hai, Canakkale_Bogazi, Charybdis, Cross-Florida_Waterway, Dardanelles, Hellespont, Inland_Passage, Inside_Passage, Mediterranean, Okeechobee_Waterway, Po_Hai, U.S._waters, United_States_waters, backwater, basin, body_of_water, catchment_area, catchment_basin, deep-sea, deep-water, detention_basin, ditch, drainage_area, drainage_basin, drink, eddy, estuarial, estuarine, flowage, maelstrom, mare_clausum, mare_liberum, marine, mid-water, neritic, oceanic, offing, offshore, pelagic, polynya, pool, reefy, retention_basin, river_basin, scour, shallow, shelfy, shelvy, shoal, shoaly...

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 13073-13074
(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 13072-13072 Water area is a subclass of geographic area

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


(partition GeographicArea WaterArea LandArea) Merge.kif 12984-12984 Geographic area is exhaustively partitioned into water area and land area
(subclass Anchorage WaterArea) Transportation.kif 910-910 Anchorage is a subclass of water area
(subclass BodyOfWater WaterArea) Geography.kif 4247-4247 Body of water is a subclass of water area
(subclass FreshWaterArea WaterArea) Merge.kif 13090-13090 Fresh water area is a subclass of water area
(subclass Harbor WaterArea) Transportation.kif 906-906 Harbor is a subclass of water area
(subclass HydropowerWaterArea WaterArea) Geography.kif 1978-1978 Hydropower water area is a subclass of water area
(subclass InlandWaterSystem WaterArea) Geography.kif 5019-5019 Inland water system is a subclass of water area
(subclass RiverMouth WaterArea) Geography.kif 5331-5331 River mouth is a subclass of water area
(subclass RiverSystem WaterArea) Geography.kif 5186-5186 River system is a subclass of water area
(subclass SaltWaterArea WaterArea) Merge.kif 13085-13085 Salt water area is a subclass of water area
(subclass ShipBerth WaterArea) Transportation.kif 2915-2915 Ship berth is a subclass of water area
(subclass StaticWaterArea WaterArea) Mid-level-ontology.kif 8761-8761 Static water area is a subclass of water area
(subclass StreamWaterArea WaterArea) Mid-level-ontology.kif 8754-8754 Stream water area is a subclass of water area
(subclass StreamWaterConfluence WaterArea) Geography.kif 5161-5161 Stream water confluence is a subclass of water area
(subclass WaterCurrent WaterArea) Geography.kif 4618-4618 Water current is a subclass of water area
(subclass Waterway WaterArea) Geography.kif 5254-5254 Waterway is a subclass of water area
(termFormat ChineseLanguage WaterArea "水域") chinese_format.kif 950-950
(termFormat EnglishLanguage WaterArea "water area") english_format.kif 1112-1112

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


(domain ShorelineFn 2 WaterArea) Geography.kif 5765-5765 The number 2 argument of shoreline is an instance of water area
(domain flowCurrent 2 WaterArea) Geography.kif 5236-5236 The number 2 argument of flow current is an instance of water area
(domain navigableForDraft 1 WaterArea) Transportation.kif 2624-2624 The number 1 argument of navigable for draft is an instance of water area
(domain navigableForShippingTonnage 1 WaterArea) Transportation.kif 2607-2607 The number 1 argument of navigable for shipping tonnage is an instance of water area
(domain seaSurfaceTemperature 1 WaterArea) Weather.kif 586-586 The number 1 argument of sea surface temperature is an instance of water area
(domain streamOutfall 1 WaterArea) Geography.kif 5363-5363 The number 1 argument of stream outfall is an instance of water area
(domain waterDepth 1 WaterArea) Mid-level-ontology.kif 15124-15124 The number 1 argument of water depth is an instance of water area

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


(=>
    (and
        (instance ?COAST Seacoast)
        (instance ?WATER WaterArea)
        (orientation ?WATER ?COAST Adjacent))
    (instance ?WATER SaltWaterArea))
Geography.kif 5722-5727
(=>
    (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 5238-5247
(=>
    (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 5748-5757
(=>
    (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 13076-13083

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 5499-5513
(=>
    (and
        (instance ?SWIM Swimming)
        (agent ?SWIM ?AGENT))
    (exists (?AREA)
        (and
            (instance ?AREA WaterArea)
            (located ?AGENT ?AREA))))
Merge.kif 10412-10419
(=>
    (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 13126-13131
(=>
    (instance ?CHANNEL Canal)
    (exists (?WATER1 ?WATER2)
        (and
            (instance ?WATER1 WaterArea)
            (instance ?WATER2 WaterArea)
            (connects ?CHANNEL ?WATER1 ?WATER2))))
Geography.kif 5275-5281
(=>
    (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 5487-5492
(=>
    (instance ?DAM Dam)
    (exists (?RIVER)
        (and
            (instance ?RIVER WaterArea)
            (traverses ?DAM ?RIVER))))
Geography.kif 5293-5298
(=>
    (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 13168-13173
(=>
    (instance ?LAND SubmergedLandArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (orientation ?LAND ?WATER Below)
            (orientation ?WATER ?LAND On)
            (meetsSpatially ?LAND ?WATER))))
Geography.kif 5668-5675
(=>
    (instance ?LINE Shoreline)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?WATER ?LINE))))
Geography.kif 5734-5739
(=>
    (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 5476-5481
(=>
    (instance ?Reef Reef)
    (exists (?Water)
        (and
            (instance ?Water WaterArea)
            (orientation ?Reef ?Water Near))))
Geography.kif 5544-5549
(=>
    (instance ?S Sinking)
    (exists (?W)
        (and
            (instance ?W WaterArea)
            (eventLocated ?S ?W))))
Mid-level-ontology.kif 10719-10724
(=>
    (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 25089-25098
(=>
    (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 15335-15342
(=>
    (instance ?WAVE WaterWave)
    (exists (?AREA)
        (and
            (instance ?AREA WaterArea)
            (eventLocated ?WAVE ?AREA))))
Mid-level-ontology.kif 15116-15121

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