| WaterArea(jala kshetra)
| |
| 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 14191-14192 | |
| (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 14190-14190 |
| appearance as argument number 2 |
|
|
| (partition GeographicArea WaterArea LandArea) | Merge.kif 14102-14102 | |
| (subclass Anchorage WaterArea) | Transportation.kif 921-921 | |
| (subclass BodyOfWater WaterArea) | Geography.kif 4560-4560 | |
| (subclass FreshWaterArea WaterArea) | Merge.kif 14208-14208 | |
| (subclass Harbor WaterArea) | Transportation.kif 917-917 | |
| (subclass HydropowerWaterArea WaterArea) | Geography.kif 2016-2016 | |
| (subclass InlandWaterSystem WaterArea) | Geography.kif 5410-5410 | |
| (subclass RiverMouth WaterArea) | Geography.kif 5724-5724 | |
| (subclass RiverSystem WaterArea) | Geography.kif 5578-5578 | |
| (subclass SaltWaterArea WaterArea) | Merge.kif 14203-14203 | |
| (subclass ShipBerth WaterArea) | Transportation.kif 3768-3768 | |
| (subclass StaticWaterArea WaterArea) | Mid-level-ontology.kif 9739-9739 | |
| (subclass StreamWaterArea WaterArea) | Mid-level-ontology.kif 9732-9732 | |
| (subclass StreamWaterConfluence WaterArea) | Geography.kif 5553-5553 | |
| (subclass SurfZone WaterArea) | Weather.kif 1362-1362 | |
| (subclass WaterCurrent WaterArea) | Geography.kif 5001-5001 | |
| (subclass Waterway WaterArea) | Geography.kif 5646-5646 | |
| (termFormat ChineseLanguage WaterArea "水域") | chinese_format.kif 950-950 | |
| (termFormat EnglishLanguage WaterArea "water area") | english_format.kif 1107-1107 | |
| (termFormat FrenchLanguage WaterArea "plan d'eau") | french_format.kif 626-626 | |
| (termFormat Hindi WaterArea "jala kshetra") | terms-hindi.txt 157-157 | |
| (termFormat ItalianLanguage WaterArea "SuperficieAcquatica") | terms-it.txt 160-160 | |
| (termFormat JapaneseLanguage WaterArea "水域") | japanese_format.kif 2311-2311 | |
| (termFormat PortugueseLanguage WaterArea "Area Aquatica") | portuguese_format.kif 578-578 | |
| 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 6238-6238 | |
| (domain flowCurrent 2 WaterArea) | Geography.kif 5628-5628 | |
| (domain navigableForDraft 1 WaterArea) | Transportation.kif 3174-3174 | |
| (domain navigableForShippingTonnage 1 WaterArea) | Transportation.kif 3157-3157 | |
| (domain seaSurfaceTemperature 1 WaterArea) | Weather.kif 959-959 | |
| (domain significantWaveHeight 1 WaterArea) | Weather.kif 1507-1507 | |
| (domain streamOutfall 1 WaterArea) | Geography.kif 5756-5756 | |
| (domain waterDepth 1 WaterArea) | Mid-level-ontology.kif 18484-18484 |
| antecedent |
|
|
| (=> (and (instance ?COAST Seacoast) (instance ?WATER WaterArea) (orientation ?WATER ?COAST Adjacent)) (instance ?WATER SaltWaterArea)) |
Geography.kif 6195-6200 | |
| (=> (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 5630-5639 | |
| (=> (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 1561-1574 | |
| (=> (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 6221-6230 | |
| (=> (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 5449-5464 | |
| (=> (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 14194-14201 |
| 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 3491-3499 | |
| (=> (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 5892-5906 | |
| (=> (and (instance ?SWIM Swimming) (agent ?SWIM ?AGENT)) (exists (?AREA) (and (instance ?AREA WaterArea) (located ?AGENT ?AREA)))) |
Merge.kif 11233-11240 | |
| (=> (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 5449-5464 | |
| (=> (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 1514-1529 | |
| (=> (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 14244-14249 | |
| (=> (instance ?CHANNEL Canal) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 5668-5674 | |
| (=> (instance ?CHANNEL Channel) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 5391-5397 | |
| (=> (instance ?Cape Cape) (exists (?WaterRegion) (and (instance ?WaterRegion WaterArea) (penetrates ?Cape ?WaterRegion)))) |
Geography.kif 5880-5885 | |
| (=> (instance ?DAM Dam) (exists (?RIVER) (and (instance ?RIVER WaterArea) (traverses ?DAM ?RIVER)))) |
Geography.kif 5686-5691 | |
| (=> (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 5301-5306 | |
| (=> (instance ?ISLE Island) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?ISLE ?WATER)))) |
Merge.kif 14286-14291 | |
| (=> (instance ?LAND Shoal) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?LAND ?WATER)))) |
Geography.kif 5982-5987 | |
| (=> (instance ?LAND SubmergedLandArea) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?LAND ?WATER Below) (orientation ?WATER ?LAND On) (meetsSpatially ?LAND ?WATER)))) |
Geography.kif 6141-6148 | |
| (=> (instance ?LINE Shoreline) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?WATER ?LINE)))) |
Geography.kif 6207-6212 | |
| (=> (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 5869-5874 | |
| (=> (instance ?R UnderwaterRegion) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?R ?WATER Below)))) |
Mid-level-ontology.kif 18596-18601 | |
| (=> (instance ?Reef Reef) (exists (?Water) (and (instance ?Water WaterArea) (orientation ?Reef ?Water Near)))) |
Geography.kif 6011-6016 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|