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 14274-14275
(externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Iceberg_with_hole_near_sanderson_hope_2007-07-28_2.jpg") pictureList.kif 8789-8789
(externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 7/ 76/ Bay_of_Fundy_High_Tide.jpg") pictureList.kif 9807-9807
(subclass WaterArea GeographicArea) Merge.kif 14273-14273 水域 は 地理的地域 の subclass では

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


(partition GeographicArea WaterArea LandArea) Merge.kif 14185-14185 地理的地域 は 水域 + 土地面積 に exhaustively partitioned
(subclass Anchorage WaterArea) Transportation.kif 921-921 Anchorage は 水域 の subclass では
(subclass BodyOfWater WaterArea) Geography.kif 4731-4731 BodyOfWater は 水域 の subclass では
(subclass FreshWaterArea WaterArea) Merge.kif 14291-14291 淡水地域 は 水域 の subclass では
(subclass Harbor WaterArea) Transportation.kif 917-917 Harbor は 水域 の subclass では
(subclass HydropowerWaterArea WaterArea) Geography.kif 2186-2186 HydropowerWaterArea は 水域 の subclass では
(subclass InlandWaterSystem WaterArea) Geography.kif 5644-5644 InlandWaterSystem は 水域 の subclass では
(subclass RiverMouth WaterArea) Geography.kif 5958-5958 RiverMouth は 水域 の subclass では
(subclass RiverSystem WaterArea) Geography.kif 5812-5812 RiverSystem は 水域 の subclass では
(subclass SaltWaterArea WaterArea) Merge.kif 14286-14286 塩水地域 は 水域 の subclass では
(subclass ShipBerth WaterArea) Transportation.kif 3774-3774 ShipBerth は 水域 の subclass では
(subclass StaticWaterArea WaterArea) Mid-level-ontology.kif 10245-10245 静水域 は 水域 の subclass では
(subclass StreamWaterArea WaterArea) Mid-level-ontology.kif 10238-10238 河川水域 は 水域 の subclass では
(subclass StreamWaterConfluence WaterArea) Geography.kif 5787-5787 StreamWaterConfluence は 水域 の subclass では
(subclass SurfZone WaterArea) Weather.kif 2104-2104 SurfZone は 水域 の subclass では
(subclass WaterCurrent WaterArea) Geography.kif 5186-5186 WaterCurrent は 水域 の subclass では
(subclass Waterway WaterArea) Geography.kif 5880-5880 Waterway は 水域 の subclass では
(termFormat ChineseLanguage WaterArea "水域") chinese_format.kif 950-950 Waterway は 水域 の subclass では
(termFormat EnglishLanguage WaterArea "water area") english_format.kif 1107-1107 Waterway は 水域 の subclass では
(termFormat FrenchLanguage WaterArea "plan d'eau") french_format.kif 626-626 Waterway は 水域 の subclass では
(termFormat Hindi WaterArea "jala kshetra") terms-hindi.txt 157-157 Waterway は 水域 の subclass では
(termFormat ItalianLanguage WaterArea "SuperficieAcquatica") terms-it.txt 160-160 Waterway は 水域 の subclass では
(termFormat JapaneseLanguage WaterArea "水域") japanese_format.kif 2311-2311 Waterway は 水域 の subclass では
(termFormat PortugueseLanguage WaterArea "Area Aquatica") portuguese_format.kif 578-578 Waterway は 水域 の subclass では

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain ShorelineFn 2 WaterArea) Geography.kif 6472-6472 ShorelineFn の数値 2 引数は 水域 の instance では
(domain flowCurrent 2 WaterArea) Geography.kif 5862-5862 flowCurrent の数値 2 引数は 水域 の instance では
(domain navigableForDraft 1 WaterArea) Transportation.kif 3177-3177 navigableForDraft の数値 1 引数は 水域 の instance では
(domain navigableForShippingTonnage 1 WaterArea) Transportation.kif 3160-3160 navigableForShippingTonnage の数値 1 引数は 水域 の instance では
(domain seaSurfaceTemperature 1 WaterArea) Weather.kif 1210-1210 seaSurfaceTemperature の数値 1 引数は 水域 の instance では
(domain significantWaveHeight 1 WaterArea) Weather.kif 2249-2249 significantWaveHeight の数値 1 引数は 水域 の instance では
(domain streamOutfall 1 WaterArea) Geography.kif 5990-5990 streamOutfall の数値 1 引数は 水域 の instance では
(domain waterDepth 1 WaterArea) Mid-level-ontology.kif 19117-19117 waterDepth の数値 1 引数は 水域 の instance では

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


(=>
    (and
        (instance ?COAST Seacoast)
        (instance ?WATER WaterArea)
        (orientation ?WATER ?COAST Adjacent))
    (instance ?WATER SaltWaterArea))		 Geography.kif 6429-6434
(=>
    (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 5864-5873
(=>
    (and
        (instance ?HS HeavySurf)
        (instance ?PLACE WaterArea)
        (eventLocated ?HS ?PLACE))
    (exists (?SWIM ?A)
        (and
            (instance ?SWIM Swimming)
            (instance ?A Human)
            (agent ?SWIM ?A)
            (eventLocated ?SWIM ?PLACE)
            (holdsDuring
                (WhenFn ?HS)
                (hazardous ?HS ?A)))))		 Weather.kif 2303-2316
(=>
    (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 6455-6464
(=>
    (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 5683-5698
(=>
    (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 14277-14284

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


(=>
    (and
        (attribute ?X DeepSeaCoastalAndGreatLakesWaterTransportation)
        (instance ?X TransportationCompany))
    (exists (?SERVICE ?PLACE)
        (and
            (instance ?SERVICE WaterTransportationService)
            (serviceProvider ?SERVICE ?X)
            (eventLocated ?SERVICE ?PLACE)
            (instance ?PLACE WaterArea)
            (located ?X NorthAmerica))))		 naics.kif 8120-8130
(=>
    (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 3941-3949
(=>
    (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 6126-6140
(=>
    (and
        (instance ?SWIM Swimming)
        (agent ?SWIM ?AGENT))
    (exists (?AREA)
        (and
            (instance ?AREA WaterArea)
            (located ?AGENT ?AREA))))		 Merge.kif 11312-11319
(=>
    (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 5683-5698
(=>
    (and
        (instance ?WW WaterWave)
        (waveHeight ?WW ?WH))
    (exists (?LIST ?WA ?U ?SWH)
        (and
            (inList ?WH ?LIST)
            (instance ?WA WaterArea)
            (eventLocated ?WW ?WA)
            (instance ?U UnitOfLength)
            (significantWaveHeight ?WA
                (WhenFn ?WW)
                (MeasureFn ?SWH ?U))
            (equal ?SWH
                (MultiplicationFn 4.0
                    (StandardDeviationFn ?LIST))))))		 Weather.kif 2256-2271
(=>
    (and
        (instance ?X WaterTransportationService)
        (serviceProvider ?X ?Y)
        (attribute ?Y CoastalAndGreatLakesFreightTransportation))
    (exists (?FREIGHT ?SHIP ?WATER)
        (and
            (subProcess ?FREIGHT ?X)
            (instance ?FREIGHT WaterTransportation)
            (instrument ?FREIGHT ?SHIP)
            (instance ?SHIP CargoShip)
            (eventLocated ?FREIGHT ?WATER)
            (instance ?WATER WaterArea)
            (geographicSubregion ?WATER UnitedStates))))		 naics.kif 8184-8197
(=>
    (and
        (instance ?X WaterTransportationService)
        (serviceProvider ?X ?Y)
        (attribute ?Y CoastalAndGreatLakesPassengerTransportation))
    (exists (?CRUISE ?SHIP ?WATER)
        (and
            (subProcess ?CRUISE ?X)
            (instance ?CRUISE WaterTransportation)
            (instrument ?CRUISE ?SHIP)
            (instance ?SHIP PassengerShip)
            (eventLocated ?CRUISE ?WATER)
            (instance ?WATER WaterArea)
            (geographicSubregion ?WATER UnitedStates)
            (not
                (exists (?FERRY)
                    (and
                        (instance ?FERRY ShortSeaPassengerShip)
                        (equal ?SHIP ?FERRY)))))))		 naics.kif 8207-8225
(=>
    (and
        (subclass ?TYPE WaterVehicle)
        (instance ?EVENT
            (TransportationFn ?TYPE))
        (eventLocated ?EVENT ?PLACE))
    (instance ?PLACE WaterArea))		 Transportation.kif 2462-2467
(=>
    (instance ?BANK ShoreArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?BANK ?WATER))))		 Merge.kif 14327-14332
(=>
    (instance ?CHANNEL Canal)
    (exists (?WATER1 ?WATER2)
        (and
            (instance ?WATER1 WaterArea)
            (instance ?WATER2 WaterArea)
            (connects ?CHANNEL ?WATER1 ?WATER2))))		 Geography.kif 5902-5908
(=>
    (instance ?CHANNEL Channel)
    (exists (?WATER1 ?WATER2)
        (and
            (instance ?WATER1 WaterArea)
            (instance ?WATER2 WaterArea)
            (connects ?CHANNEL ?WATER1 ?WATER2))))		 Geography.kif 5625-5631
(=>
    (instance ?Cape Cape)
    (exists (?WaterRegion)
        (and
            (instance ?WaterRegion WaterArea)
            (penetrates ?Cape ?WaterRegion))))		 Geography.kif 6114-6119
(=>
    (instance ?DAM Dam)
    (exists (?RIVER)
        (and
            (instance ?RIVER WaterArea)
            (traverses ?DAM ?RIVER))))		 Geography.kif 5920-5925
(=>
    (instance ?EXCLUSIVELANDAREA SurfaceGroundArea)
    (not
        (exists (?WATERAREA)
            (and
                (instance ?WATERAREA WaterArea)
                (part ?WATERAREA ?EXCLUSIVELANDAREA)))))		 Geography.kif 741-747
(=>
    (instance ?INLET Inlet)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (connected ?INLET ?WATER))))		 Geography.kif 5523-5528
(=>
    (instance ?ISLE Island)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?ISLE ?WATER))))		 Merge.kif 14369-14374
(=>
    (instance ?LAND Shoal)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?LAND ?WATER))))		 Geography.kif 6216-6221
(=>
    (instance ?LAND SubmergedLandArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (orientation ?LAND ?WATER Below)
            (orientation ?WATER ?LAND On)
            (meetsSpatially ?LAND ?WATER))))		 Geography.kif 6375-6382
(=>
    (instance ?LINE Shoreline)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?WATER ?LINE))))		 Geography.kif 6441-6446
(=>
    (instance ?P Wading)
    (exists (?W)
        (and
            (instance ?W WaterArea)
            (eventLocated ?P ?W))))		 Mid-level-ontology.kif 529-534
(=>
    (instance ?Peninsula Peninsula)
    (exists (?Water)
        (and
            (instance ?Water WaterArea)
            (penetrates ?Peninsula ?Water))))		 Geography.kif 6103-6108
(=>
    (instance ?R UnderwaterRegion)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (orientation ?R ?WATER Below))))		 Mid-level-ontology.kif 19229-19234
(=>
    (instance ?Reef Reef)
    (exists (?Water)
        (and
            (instance ?Water WaterArea)
            (orientation ?Reef ?Water Near))))		 Geography.kif 6245-6250

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 3.0 is open source software produced by Articulate Software and its partners