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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - WaterArea
WaterArea(plan d'eau)

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 14259-14260
(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 14258-14258 Plan d'eau est une sous-classe de secteur g�ographique

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


(partition GeographicArea WaterArea LandArea) Merge.kif 14170-14170 Secteur g�ographique est compl�tement d�compos� en plan d'eau + zone de terre
(subclass Anchorage WaterArea) Transportation.kif 921-921 Anchorage est une sous-classe de plan d'eau
(subclass BodyOfWater WaterArea) Geography.kif 4561-4561 BodyOfWater est une sous-classe de plan d'eau
(subclass FreshWaterArea WaterArea) Merge.kif 14276-14276 Plan d'eau non sal� est une sous-classe de plan d'eau
(subclass Harbor WaterArea) Transportation.kif 917-917 Harbor est une sous-classe de plan d'eau
(subclass HydropowerWaterArea WaterArea) Geography.kif 2016-2016 HydropowerWaterArea est une sous-classe de plan d'eau
(subclass InlandWaterSystem WaterArea) Geography.kif 5474-5474 InlandWaterSystem est une sous-classe de plan d'eau
(subclass RiverMouth WaterArea) Geography.kif 5788-5788 RiverMouth est une sous-classe de plan d'eau
(subclass RiverSystem WaterArea) Geography.kif 5642-5642 RiverSystem est une sous-classe de plan d'eau
(subclass SaltWaterArea WaterArea) Merge.kif 14271-14271 Plan d'eau sal� est une sous-classe de plan d'eau
(subclass ShipBerth WaterArea) Transportation.kif 3772-3772 ShipBerth est une sous-classe de plan d'eau
(subclass StaticWaterArea WaterArea) Mid-level-ontology.kif 10245-10245 Plan d'eau stagnant est une sous-classe de plan d'eau
(subclass StreamWaterArea WaterArea) Mid-level-ontology.kif 10238-10238 Plan d'eau en mouvement est une sous-classe de plan d'eau
(subclass StreamWaterConfluence WaterArea) Geography.kif 5617-5617 StreamWaterConfluence est une sous-classe de plan d'eau
(subclass SurfZone WaterArea) Weather.kif 1896-1896 SurfZone est une sous-classe de plan d'eau
(subclass WaterCurrent WaterArea) Geography.kif 5028-5028 WaterCurrent est une sous-classe de plan d'eau
(subclass Waterway WaterArea) Geography.kif 5710-5710 Waterway est une sous-classe de plan d'eau
(termFormat ChineseLanguage WaterArea "水域") chinese_format.kif 950-950 Waterway est une sous-classe de plan d'eau
(termFormat EnglishLanguage WaterArea "water area") english_format.kif 1107-1107 Waterway est une sous-classe de plan d'eau
(termFormat FrenchLanguage WaterArea "plan d'eau") french_format.kif 626-626 Waterway est une sous-classe de plan d'eau
(termFormat Hindi WaterArea "jala kshetra") terms-hindi.txt 157-157 Waterway est une sous-classe de plan d'eau
(termFormat ItalianLanguage WaterArea "SuperficieAcquatica") terms-it.txt 160-160 Waterway est une sous-classe de plan d'eau
(termFormat JapaneseLanguage WaterArea "水域") japanese_format.kif 2311-2311 Waterway est une sous-classe de plan d'eau
(termFormat PortugueseLanguage WaterArea "Area Aquatica") portuguese_format.kif 578-578 Waterway est une sous-classe de plan d'eau

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 6302-6302 Le nombre 2 argument de ShorelineFn est une instance de plan d'eau
(domain flowCurrent 2 WaterArea) Geography.kif 5692-5692 Le nombre 2 argument de flowCurrent est une instance de plan d'eau
(domain navigableForDraft 1 WaterArea) Transportation.kif 3177-3177 Le nombre 1 argument de navigableForDraft est une instance de plan d'eau
(domain navigableForShippingTonnage 1 WaterArea) Transportation.kif 3160-3160 Le nombre 1 argument de navigableForShippingTonnage est une instance de plan d'eau
(domain seaSurfaceTemperature 1 WaterArea) Weather.kif 1210-1210 Le nombre 1 argument de seaSurfaceTemperature est une instance de plan d'eau
(domain significantWaveHeight 1 WaterArea) Weather.kif 2041-2041 Le nombre 1 argument de significantWaveHeight est une instance de plan d'eau
(domain streamOutfall 1 WaterArea) Geography.kif 5820-5820 Le nombre 1 argument de streamOutfall est une instance de plan d'eau
(domain waterDepth 1 WaterArea) Mid-level-ontology.kif 19117-19117 Le nombre 1 argument de waterDepth est une instance de plan d'eau

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


(=>
    (and
        (instance ?COAST Seacoast)
        (instance ?WATER WaterArea)
        (orientation ?WATER ?COAST Adjacent))
    (instance ?WATER SaltWaterArea))		 Geography.kif 6259-6264
(=>
    (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 5694-5703
(=>
    (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 2095-2108
(=>
    (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 6285-6294
(=>
    (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 5513-5528
(=>
    (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 14262-14269

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 5956-5970
(=>
    (and
        (instance ?SWIM Swimming)
        (agent ?SWIM ?AGENT))
    (exists (?AREA)
        (and
            (instance ?AREA WaterArea)
            (located ?AGENT ?AREA))))		 Merge.kif 11297-11304
(=>
    (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 5513-5528
(=>
    (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 2048-2063
(=>
    (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 14312-14317
(=>
    (instance ?CHANNEL Canal)
    (exists (?WATER1 ?WATER2)
        (and
            (instance ?WATER1 WaterArea)
            (instance ?WATER2 WaterArea)
            (connects ?CHANNEL ?WATER1 ?WATER2))))		 Geography.kif 5732-5738
(=>
    (instance ?CHANNEL Channel)
    (exists (?WATER1 ?WATER2)
        (and
            (instance ?WATER1 WaterArea)
            (instance ?WATER2 WaterArea)
            (connects ?CHANNEL ?WATER1 ?WATER2))))		 Geography.kif 5455-5461
(=>
    (instance ?Cape Cape)
    (exists (?WaterRegion)
        (and
            (instance ?WaterRegion WaterArea)
            (penetrates ?Cape ?WaterRegion))))		 Geography.kif 5944-5949
(=>
    (instance ?DAM Dam)
    (exists (?RIVER)
        (and
            (instance ?RIVER WaterArea)
            (traverses ?DAM ?RIVER))))		 Geography.kif 5750-5755
(=>
    (instance ?EXCLUSIVELANDAREA SurfaceGroundArea)
    (not
        (exists (?WATERAREA)
            (and
                (instance ?WATERAREA WaterArea)
                (part ?WATERAREA ?EXCLUSIVELANDAREA)))))		 Geography.kif 571-577
(=>
    (instance ?INLET Inlet)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (connected ?INLET ?WATER))))		 Geography.kif 5353-5358
(=>
    (instance ?ISLE Island)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?ISLE ?WATER))))		 Merge.kif 14354-14359
(=>
    (instance ?LAND Shoal)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?LAND ?WATER))))		 Geography.kif 6046-6051
(=>
    (instance ?LAND SubmergedLandArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (orientation ?LAND ?WATER Below)
            (orientation ?WATER ?LAND On)
            (meetsSpatially ?LAND ?WATER))))		 Geography.kif 6205-6212
(=>
    (instance ?LINE Shoreline)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?WATER ?LINE))))		 Geography.kif 6271-6276
(=>
    (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 5933-5938
(=>
    (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 6075-6080

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