|
|
   BodyOfWater
|
|
|
| appearance as argument number 1 |
|
|
| (documentation BodyOfWater EnglishLanguage "A BodyOfWater is a connected body of water with established boundaries marked by either geographical features or conventional borders.") | Geography.kif 4397-4399 | |
| (subclass BodyOfWater SelfConnectedObject) | Geography.kif 4395-4395 | |
| (subclass BodyOfWater WaterArea) | Geography.kif 4394-4394 |
| appearance as argument number 2 |
|
|
| (instance NorthAtlanticOcean BodyOfWater) | Geography.kif 4443-4443 | |
| (instance NorthPacificOcean BodyOfWater) | Geography.kif 4475-4475 | |
| (instance NortheasternPacificOcean BodyOfWater) | Geography.kif 4489-4489 | |
| (instance NorthwesternPacificOcean BodyOfWater) | Geography.kif 4502-4502 | |
| (instance SouthAtlanticOcean BodyOfWater) | Geography.kif 4456-4456 | |
| (instance SouthPacificOcean BodyOfWater) | Geography.kif 4515-4515 | |
| (instance WorldOcean BodyOfWater) | Geography.kif 4402-4402 | |
| (subclass Channel BodyOfWater) | Geography.kif 5218-5218 | |
| (subclass Creek BodyOfWater) | Geography.kif 5573-5573 | |
| (subclass Estuary BodyOfWater) | Geography.kif 5081-5081 | |
| (subclass Gulf BodyOfWater) | Geography.kif 5024-5024 | |
| (subclass Inlet BodyOfWater) | Geography.kif 5120-5120 | |
| (subclass LandlockedWater BodyOfWater) | Geography.kif 4980-4980 | |
| (subclass Ocean BodyOfWater) | Geography.kif 4416-4416 | |
| (subclass River BodyOfWater) | Geography.kif 5376-5376 | |
| (subclass Sea BodyOfWater) | Geography.kif 4660-4660 | |
| (subclass Sound BodyOfWater) | Geography.kif 5180-5180 | |
| (subclass Strait BodyOfWater) | Geography.kif 5194-5194 | |
| (termFormat ChineseLanguage BodyOfWater "水体") | domainEnglishFormat.kif 11488-11488 | |
| (termFormat ChineseTraditionalLanguage BodyOfWater "水體") | domainEnglishFormat.kif 11487-11487 | |
| (termFormat EnglishLanguage BodyOfWater "body of water") | domainEnglishFormat.kif 11486-11486 |
| antecedent |
|
|
| (=> (and (instance ?CHANNEL Channel) (instance ?BODY BodyOfWater) (connected ?CHANNEL ?BODY)) (larger ?BODY ?CHANNEL)) |
Geography.kif 5232-5237 | |
| (=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER)))) |
Geography.kif 5562-5571 | |
| (=> (and (instance ?WATER BodyOfWater) (not (instance ?WATER Ocean)) (instance ?OCEAN Ocean)) (larger ?OCEAN ?WATER)) |
Geography.kif 4426-4431 | |
| (=> (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)) (larger ?body1 ?strait)) |
Geography.kif 5207-5212 |
| consequent |
|
|
| (=> (and (instance ?S ?C) (subclass ?C Seafood)) (exists (?X ?SEA ?ANIMAL) (and (meatOfAnimal ?C ?ANIMAL) (instance ?X ?ANIMAL) (instance ?SEA BodyOfWater) (inhabits ?X ?SEA)))) |
Food.kif 256-265 | |
| (=> (and (instance ?X Argument) (instance ?R Reasoning) (subProposition ?X Archeology) (realization ?R ?X)) (exists (?D ?S ?O ?T ?W ?L) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O (MeasureFn ?T YearDuration)) (greaterThan ?T 50) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (or (and (surface ?S ?W) (instance ?W BodyOfWater) (orientation ?O ?S Below)) (and (surface ?S ?L) (instance ?L LandArea) (orientation ?O ?S Below))))))) |
Mid-level-ontology.kif 20980-21009 | |
| (=> (instance ?BERG Iceberg) (exists (?PART ?WATER) (and (instance ?PART Ice) (most ?PART ?BERG) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 4644-4651 | |
| (=> (instance ?BREAK BreakingWave) (exists (?WAVE ?WATER1 ?WATER2 ?FALL) (and (instance ?WAVE WaterWave) (subProcess ?BREAK ?WAVE) (instance ?WATER1 BodyOfWater) (instance ?WATER2 BodyOfWater) (patient ?WAVE ?WATER2) (patient ?BREAK ?WATER1) (instance ?FALL Falling) (objectTransferred ?FALL ?WATER1) (holdsDuring (BeginFn (WhenFn ?FALL)) (part ?WATER1 ?WATER2)) (holdsDuring (EndFn (WhenFn ?FALL)) (not (part ?WATER1 ?WATER2)))))) |
Weather.kif 1353-1373 | |
| (=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 5821-5828 | |
| (=> (instance ?STREAM StreamWaterArea) (exists (?WATER) (and (instance ?WATER BodyOfWater) (not (equal ?WATER ?STREAM)) (flows ?STREAM ?WATER)))) |
Geography.kif 5317-5323 | |
| (=> (instance ?SYSTEM InlandWaterSystem) (exists (?BODY1 ?BODY2) (and (instance ?BODY1 BodyOfWater) (instance ?BODY2 BodyOfWater) (not (equal ?BODY1 ?BODY2)) (geographicSubregion ?BODY1 ?SYSTEM) (geographicSubregion ?BODY2 ?SYSTEM)))) |
Geography.kif 5250-5258 | |
| (=> (instance ?strait Strait) (exists (?body1 ?body2) (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)))) |
Geography.kif 5199-5205 | |
| (=> (waveHeight ?WW ?X) (exists (?WATER ?CREST ?TROUGH ?U) (and (instance ?WATER BodyOfWater) (eventLocated ?WW ?WATER) (part ?CREST ?WATER) (part ?TROUGH ?WATER) (distance ?CREST ?TROUGH ?X) (not (exists (?A ?AH) (and (part ?A ?WATER) (altitude ?A ?CREST (MeasureFn ?AH ?U)) (greaterThan ?AH 0.0)))) (not (exists (?B ?BH) (and (part ?B ?WATER) (altitude ?TROUGH ?B (MeasureFn ?BH ?U)) (greaterThan ?BH 0.0))))))) |
Weather.kif 1420-1440 |
|
|
|