| appearance as argument number 1 |
|
| (subclass BodyOfWater WaterArea) | Geography.kif 6049-6049 | Body of water is a subclass of water area |
| (subclass BodyOfWater SelfConnectedObject) | Geography.kif 6050-6050 | 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 6052-6054 | 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 1934-1943 | 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 |
| (=> (instance ?BERG Iceberg) (exists (?PART ?WATER) (and (instance ?PART Ice) (most ?PART ?BERG) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 6300-6307 | 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 6906-6912 | 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 6969-6977 | 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 7036-7042 | 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 7541-7548 | 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 |
| (=> (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))))))) |
Mid-level-ontology.kif 23426-23456 | 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 ?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 1492-1505 | 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 2679-2699 | 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 2745-2765 | 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 |
|
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