Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| depth |
| appearance as argument number 1 |
|
| (subrelation depth distance) | Merge.kif 7902-7902 | depth is a subrelation of distance |
| (domain depth 1 Physical) | Merge.kif 7903-7903 | The number 1 argument of depth is an instance of physical |
| (domain depth 2 Physical) | Merge.kif 7904-7904 | The number 2 argument of depth is an instance of physical |
| (domain depth 3 LengthMeasure) | Merge.kif 7905-7905 | The number 3 argument of depth is an instance of length measure |
| (instance depth SingleValuedRelation) | Merge.kif 7906-7906 | depth is an instance of single valued relation |
| (instance depth TernaryPredicate) | Merge.kif 7907-7907 | depth is an instance of ternary predicate |
| (documentation depth EnglishLanguage "A TernaryPredicate that is used to state the distance between the bottom of an Object and another point that is above the bottom of the Object (often this other point will be SeaLevel). Note that this Predicate can be used to specify, for example, the depth of marine life or submarines.") | Merge.kif 7909-7913 | depth is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage depth "the depth from %1 to %2 is %3") | domainEnglishFormat.kif 3228-3228 | |
| (format ChineseTraditionalLanguage depth "對於 %2 從 %1 的 depth 是 %3 ") | domainEnglishFormat.kif 3229-3229 | |
| (format ChineseLanguage depth "对于 %2 从 %1 的 depth 是 %3 ") | domainEnglishFormat.kif 3230-3230 | |
| (termFormat EnglishLanguage depth "depth") | domainEnglishFormat.kif 19182-19182 | |
| (termFormat ChineseTraditionalLanguage depth "深度") | domainEnglishFormat.kif 19183-19183 | |
| (termFormat ChineseLanguage depth "深度") | domainEnglishFormat.kif 19184-19184 |
| antecedent |
|
|
| (=> (depth ?OBJ1 ?OBJ2 ?DEPTH) (orientation ?OBJ1 ?OBJ2 Below)) |
Merge.kif 7915-7917 | If the depth from X to Y is Z, then X is below to Y |
| (=> (depth ?OBJ1 ?OBJ2 ?DEPTH) (exists (?BOTTOM) (and (bottom ?BOTTOM ?OBJ1) (distance ?BOTTOM ?OBJ2 ?DEPTH)))) |
Merge.kif 7919-7924 | If the depth from X to Y is Z, then there exists W such that the bottom of X is W, the distance between W, and Y is Z |
| (=> (and (instance ?WATERWAY Waterway) (depth ?OBJ ?WATERWAY (MeasureFn ?DEPTH ?UNIT)) (instance ?UNIT UnitOfLength) (lessThan ?DRAFT ?DEPTH)) (navigableForDraft ?WATERWAY (MeasureFn ?DRAFT ?UNIT))) |
Transportation.kif 3741-3747 | If X is an instance of waterway, the depth from Y to X is Z W(s), W is an instance of unit of length, and V is less than Z, then V W(s) is a navigable for draft of X |
| consequent |
|
|
| (=> (waterDepth ?AREA ?DEPTH) (exists (?BOTTOM ?TOP) (and (depth ?TOP ?BOTTOM ?DEPTH) (top ?TOP ?AREA) (bottom ?BOTTOM ?AREA)))) |
Mid-level-ontology.kif 19492-19498 | If X is a water depth of Y, then there exist Z, W such that the depth from W to Z is X, the top of Y is W, and the bottom of Y is Z |
| (=> (rainfallIntensity ?AREA ?TIME ?RATE) (exists (?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL) (and (instance ?RAIN Raining) (eventLocated ?RAIN ?AREA) (during (WhenFn ?RAIN) ?TIME) (instance ?CLTN CollectionOfObjects) (objectTransferred ?RAIN ?CLTN) (instance ?R Water) (member ?R ?CLTN) (instance ?BUCKET Container) (bottom ?BOTTOM ?BUCKET) (attribute ?BOTTOM Flat) (located ?BUCKET ?AREA) (holdsDuring (BeginFn ?TIME) (attribute ?BUCKET ContainerEmpty)) (holdsDuring (EndFn ?TIME) (and (located ?CLTN ?BUCKET) (top ?TOP ?CLTN) (depth ?TOP ?BOTTOM ?RAINFALL) (equal ?RAINFALL (MultiplicationFn ?TIME ?RATE))))))) |
Weather.kif 4098-4123 | If the rate of rain in X during Y is Z, then All of the following hold: (1) there exist W, V,, , U,, , T,, , S,, , R (2) Q such that W is an instance of raining (3) W is located at X (4) the time of existence of W takes place during Y (5) V is an instance of collection (6) the object transferred in W is V (7) U is an instance of water (8) U is a member of V (9) T is an instance of container (10) the bottom of T is R (11) flat is an attribute of R (12) T is located at X (13) container empty is an attribute of T holds during the beginning of Y (14) V is located at T (15) the top of V is S (16) the depth from S to R is Q (17) equal Q (18) Y (19) Z holds during the end of Y |
| (=> (snowfallIntensity ?AREA ?TIME ?RATE) (exists (?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL) (and (instance ?PROCESS Snowing) (eventLocated ?PROCESS ?AREA) (during (WhenFn ?PROCESS) ?TIME) (instance ?STUFF Snow) (objectTransferred ?PROCESS ?STUFF) (instance ?BOARD BoardOrBlock) (bottom ?BOTTOM ?BOARD) (attribute ?BOTTOM Flat) (located ?BOARD ?AREA) (holdsDuring (BeginFn ?TIME) (not (exists (?X) (and (instance ?X Object) (located ?X ?BOARD))))) (holdsDuring (EndFn ?TIME) (and (located ?STUFF ?BOARD) (top ?TOP ?STUFF) (depth ?TOP ?BOTTOM ?SNOWFALL) (equal ?SNOWFALL (MultiplicationFn ?TIME ?RATE))))))) |
Weather.kif 4304-4331 | If the rate of snow falling at X during Y is Z, then All of the following hold: (1) there exist W, V,, , U,, , T,, , S (2) R such that W is an instance of snowing (3) W is located at X (4) the time of existence of W takes place during Y (5) V is an instance of snow (6) the object transferred in W is V (7) U is an instance of board or block (8) the bottom of U is S (9) flat is an attribute of S (10) U is located at X (11) there doesn't exist Q such that Q is an instance of object (12) Q is located at U holds during the beginning of Y (13) V is located at U (14) the top of V is T (15) the depth from T to S is R (16) equal R (17) Y (18) Z holds during the end of Y |
|