Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   BodyOfWater
|
|
|
| appearance as argument number 1 |
|
|
| (subclass BodyOfWater WaterArea) | Geography.kif 5997-5997 | Body of water is a subclass of water area |
| (subclass BodyOfWater SelfConnectedObject) | Geography.kif 5998-5998 | Body of water is a subclass of self connected object |
| (documentation BodyOfWater EnglishLanguage "A BodyOfWater is a connected body of water with established boundaries marked by either geographical features or conventional borders.") | Geography.kif 5999-6001 | Body of water is a subclass of self connected object |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| 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 1941-1950 | If X is an instance of Y and Y is a subclass of seafood, then there exist Z, W, V such that Y is the meat of V, Z is an instance of V, W is an instance of body of water, and Z lives in W |
| (=> (and (instance ?B EndorheicBasin) (instance ?R River) (located ?R ?B)) (not (exists (?OUT) (and (instance ?OUT BodyOfWater) (flows ?R ?OUT))))) |
Geography.kif 470-479 | If X is an instance of endorheic basin, Y is an instance of river, and Y is located at X, then there doesn't exist Z such that Z is an instance of body of water and Z is a flows of Y |
| (=> (and (instance ?X Argument) (instance ?R Reasoning) (instance ?A Archeology) (subProposition ?X ?A) (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))))))) |
Geography.kif 6008-6038 | If X is an instance of argument, Y is an instance of reasoning, Z is an instance of archeology, X is a sub-proposition of Z, and Y expresses the content of X, then there exist W, V,, , U,, , T,, , S and R such that W is an instance of discovering and U is an instance of object and U is a patient of W and Y includes a reference to W and the time of existence of W happens earlier than the time of existence of Y and the age of U is T year duration(s) and T is greater than 50 and V is a surface of S and S is an instance of body of water and U is below to V or V is a surface of R and R is an instance of land area and U is below to V holds during immediately before the time of existence of W |
| (=> (instance ?BERG Iceberg) (exists (?PART ?WATER) (and (instance ?PART Ice) (most ?PART ?BERG) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 6284-6291 | If X is an instance of iceberg, then there exist Y, Z such that Y is an instance of ice, Y is most of X, Z is an instance of body of water, and Z covers Y |
| (=> (instance ?strait Strait) (exists (?body1 ?body2) (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)))) |
Geography.kif 6890-6896 | If X is an instance of strait, then there exist Y, Z such that Y is an instance of body of water, Z is an instance of body of water, X connects Y, and Z |
| (=> (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 6953-6961 | If X is an instance of inland water system, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of body of water (3) Z is an instance of body of water (4) equal Y (5) Z (6) Y is a geographic subregion of X (7) Z is a geographic subregion of X |
| (=> (instance ?STREAM StreamWaterArea) (exists (?WATER) (and (instance ?WATER BodyOfWater) (not (equal ?WATER ?STREAM)) (flows ?STREAM ?WATER)))) |
Geography.kif 7020-7026 | If X is an instance of stream water area, then there exists Y such that Y is an instance of body of water, equal Y, X, and Y is a flows of X |
| (=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 7520-7527 | If X is an instance of shoal, then there exist Y, Z such that Y is an instance of land form, Y is most of X, Z is an instance of body of water, and Z covers Y |
| (=> (instance ?S Warship) (hasPurpose ?S (exists (?V ?R) (and (instance ?V ViolentContest) (eventLocated ?V ?R) (instance ?R BodyOfWater) (instrument ?V ?S))))) |
Military.kif 293-301 | If X is an instance of warship, then X has the purpose there exist Y, Z such that Y is an instance of violent contest, Y is located at Z, Z is an instance of body of water, and X is an instrument for Y |
| (=> (instance ?B Bridge) (hasPurpose ?B (exists (?T ?X) (and (instance ?T Translocation) (path ?T ?B) (orientation ?B ?X Above) (or (instance ?X LandArea) (instance ?X BodyOfWater)))))) |
Transportation.kif 1767-1777 | If X is an instance of bridge, then X has the purpose there exist Y, Z such that Y is an instance of translocation, X is path along which Y occurs, X is above to Z, and Z is an instance of land area or Z is an instance of body of water |
| (=> (instance ?S Waterspout) (exists (?A ?R ?C ?F ?W) (and (instance ?A AirStream) (instance ?R Rotating) (patient ?R ?A) (origin ?R ?C) (instance ?C WaterCloud) (part ?F ?C) (shape ?F Cone) (eventLocated ?R ?W) (instance ?W BodyOfWater) (connects ?F ?W ?C)))) |
Weather.kif 1476-1489 | If X is an instance of waterspout, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of air stream (3) Z is an instance of rotating (4) Y is a patient of Z (5) Z originates at W (6) W is an instance of water cloud (7) V is a part of W (8) V is cone (9) Z is located at U (10) U is an instance of body of water (11) V connects U (12) W |
| (=> (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 2664-2684 | If X is an instance of breaking wave, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of water wave (3) X is a subprocess of Y (4) Z is an instance of body of water (5) W is an instance of body of water (6) W is a patient of Y (7) Z is a patient of X (8) V is an instance of falling (9) the object transferred in V is Z (10) Z is a part of W holds during the beginning of the time of existence of V (11) Z is not a part of W holds during the end of the time of existence of V |
| (=> (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 2730-2750 | If The waveHeight of X Y., then there exist Z, W,, , V and U such that Z is an instance of body of water and X is located at Z and W is a part of Z and V is a part of Z and the distance between W and V is Y and there don't exist T and S such that T is a part of Z and the altitude of T relative to W is S U(s) and S is greater than 0.0 and there don't exist R and Q such that R is a part of Z and the altitude of V relative to R is Q U(s) and Q is greater than 0.0 |
|