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 13874-13875
(externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Iceberg_with_hole_near_sanderson_hope_2007-07-28_2.jpg") pictureList.kif 8791-8791
(externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 7/ 76/ Bay_of_Fundy_High_Tide.jpg") pictureList.kif 9816-9816
(subclass WaterArea GeographicArea) Merge.kif 13873-13873

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


(partition GeographicArea WaterArea LandArea) Merge.kif 13785-13785
(subclass Anchorage WaterArea) Transportation.kif 921-921
(subclass BodyOfWater WaterArea) Geography.kif 4390-4390
(subclass FreshWaterArea WaterArea) Merge.kif 13891-13891
(subclass Harbor WaterArea) Transportation.kif 917-917
(subclass HydropowerWaterArea WaterArea) Geography.kif 2031-2031
(subclass InlandWaterSystem WaterArea) Geography.kif 5239-5239
(subclass RiverMouth WaterArea) Geography.kif 5552-5552
(subclass RiverSystem WaterArea) Geography.kif 5407-5407
(subclass SaltWaterArea WaterArea) Merge.kif 13886-13886
(subclass ShipBerth WaterArea) Transportation.kif 2944-2944
(subclass StaticWaterArea WaterArea) Mid-level-ontology.kif 8646-8646
(subclass StreamWaterArea WaterArea) Mid-level-ontology.kif 8639-8639
(subclass StreamWaterConfluence WaterArea) Geography.kif 5382-5382
(subclass SurfZone WaterArea) Weather.kif 1377-1377
(subclass WaterCurrent WaterArea) Geography.kif 4830-4830
(subclass Waterway WaterArea) Geography.kif 5475-5475
(termFormat ChineseLanguage WaterArea "水域") chinese_format.kif 950-950
(termFormat EnglishLanguage WaterArea "water area") english_format.kif 1107-1107

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


(domain ShorelineFn 2 WaterArea) Geography.kif 6066-6066
(domain flowCurrent 2 WaterArea) Geography.kif 5457-5457
(domain navigableForDraft 1 WaterArea) Transportation.kif 2653-2653
(domain navigableForShippingTonnage 1 WaterArea) Transportation.kif 2636-2636
(domain seaSurfaceTemperature 1 WaterArea) Weather.kif 975-975
(domain significantWaveHeight 1 WaterArea) Weather.kif 1523-1523
(domain streamOutfall 1 WaterArea) Geography.kif 5584-5584
(domain waterDepth 1 WaterArea) Mid-level-ontology.kif 17007-17007

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


(=>
    (and
        (instance ?COAST Seacoast)
        (instance ?WATER WaterArea)
        (orientation ?WATER ?COAST Adjacent))
    (instance ?WATER SaltWaterArea))
Geography.kif 6023-6028
(=>
    (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 5459-5468
(=>
    (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 1578-1591
(=>
    (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 6049-6058
(=>
    (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 5278-5293
(=>
    (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 13877-13884

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 3454-3462
(=>
    (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 5720-5734
(=>
    (and
        (instance ?SWIM Swimming)
        (agent ?SWIM ?AGENT))
    (exists (?AREA)
        (and
            (instance ?AREA WaterArea)
            (located ?AGENT ?AREA))))
Merge.kif 11050-11057
(=>
    (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 5278-5293
(=>
    (and
        (instance ?WW WaterWave)
        (waveHeight ?WW ?WH))
    (exists (?LIST ?WA ?U)
        (and
            (inList ?WH ?LIST)
            (instance ?WA WaterArea)
            (eventLocated ?WW ?WA)
            (instance ?U LengthMeasure)
            (significantWaveHeight ?WA
                (WhenFn ?WW)
                (MeasureFn ?SWH ?U))
            (equal ?SWH
                (MultiplicationFn 4.0
                    (StandardDeviationFn ?LIST))))))
Weather.kif 1531-1546
(=>
    (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 2294-2299
(=>
    (instance ?BANK ShoreArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?BANK ?WATER))))
Merge.kif 13927-13932
(=>
    (instance ?CHANNEL Canal)
    (exists (?WATER1 ?WATER2)
        (and
            (instance ?WATER1 WaterArea)
            (instance ?WATER2 WaterArea)
            (connects ?CHANNEL ?WATER1 ?WATER2))))
Geography.kif 5496-5502
(=>
    (instance ?CHANNEL Channel)
    (exists (?WATER1 ?WATER2)
        (and
            (instance ?WATER1 WaterArea)
            (instance ?WATER2 WaterArea)
            (connects ?CHANNEL ?WATER1 ?WATER2))))
Geography.kif 5220-5226
(=>
    (instance ?Cape Cape)
    (exists (?WaterRegion)
        (and
            (instance ?WaterRegion WaterArea)
            (penetrates ?Cape ?WaterRegion))))
Geography.kif 5708-5713
(=>
    (instance ?DAM Dam)
    (exists (?RIVER)
        (and
            (instance ?RIVER WaterArea)
            (traverses ?DAM ?RIVER))))
Geography.kif 5514-5519
(=>
    (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 5130-5135
(=>
    (instance ?ISLE Island)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?ISLE ?WATER))))
Merge.kif 13969-13974
(=>
    (instance ?LAND Shoal)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?LAND ?WATER))))
Geography.kif 5810-5815
(=>
    (instance ?LAND SubmergedLandArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (orientation ?LAND ?WATER Below)
            (orientation ?WATER ?LAND On)
            (meetsSpatially ?LAND ?WATER))))
Geography.kif 5969-5976
(=>
    (instance ?LINE Shoreline)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?WATER ?LINE))))
Geography.kif 6035-6040
(=>
    (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 5697-5702
(=>
    (instance ?Reef Reef)
    (exists (?Water)
        (and
            (instance ?Water WaterArea)
            (orientation ?Reef ?Water Near))))
Geography.kif 5839-5844
(=>
    (instance ?S Sinking)
    (exists (?W)
        (and
            (instance ?W WaterArea)
            (eventLocated ?S ?W))))
Mid-level-ontology.kif 12576-12581

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