| appearance as argument number 1 |
|
| (documentation depth ChineseLanguage "这是一个 TernaryPredicate，它是用来表示一个 Object 的 top 和这个 Object top 以上的另外一点 (通常这一点会是海平面)之间的 distance。注这个 Predicate 可以用来指定例如海洋生物或潜艇的深度。") | chinese_format.kif 2661-2663 | |
| (documentation depth EnglishLanguage "A TernaryPredicate that is used to state the distance between the top of an Object and another point that is above the top of the Object (often this other point will be sea level). Note that this Predicate can be used to specify, for example, the depth of marine life or submarines, for example.") | Merge.kif 7799-7804 | |
| (documentation depth JapaneseLanguage "TernaryPredicate は、Object の top と Object の top の上にある別の点との間の distance を示すために使用される (多くの場合、この他のポイン トは海面になる)。注：この Predicate は、例えば、海洋生物や潜水艦の深さを指定するために使用でき る。") | japanese_format.kif 1380-1383 | |
| (domain depth 1 Physical) | Merge.kif 7793-7793 | |
| (domain depth 2 Physical) | Merge.kif 7794-7794 | |
| (domain depth 3 LengthMeasure) | Merge.kif 7795-7795 | |
| (instance depth SingleValuedRelation) | Merge.kif 7796-7796 | |
| (instance depth TernaryPredicate) | Merge.kif 7797-7797 | |
| (subrelation depth distance) | Merge.kif 7792-7792 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage depth "对于 %2 从 %1 的 depth 是 %3 ") | domainEnglishFormat.kif 3230-3230 | |
| (format ChineseTraditionalLanguage depth "對於 %2 從 %1 的 depth 是 %3 ") | domainEnglishFormat.kif 3229-3229 | |
| (format EnglishLanguage depth "the depth from %1 to %2 is %3") | domainEnglishFormat.kif 3228-3228 | |
| (termFormat ChineseLanguage depth "深度") | domainEnglishFormat.kif 19197-19197 | |
| (termFormat ChineseTraditionalLanguage depth "深度") | domainEnglishFormat.kif 19196-19196 | |
| (termFormat EnglishLanguage depth "depth") | domainEnglishFormat.kif 19195-19195 |
| antecedent |
|
|
| (=> (and (instance ?WATERWAY Waterway) (depth ?OBJ ?WATERWAY (MeasureFn ?DEPTH ?UNIT)) (instance ?UNIT UnitOfLength) (lessThan ?DRAFT ?DEPTH)) (navigableForDraft ?WATERWAY (MeasureFn ?DRAFT ?UNIT))) |
Transportation.kif 3198-3204 | |
| (=> (depth ?OBJ1 ?OBJ2 ?DEPTH) (exists (?BOTTOM) (and (bottom ?BOTTOM ?OBJ1) (distance ?BOTTOM ?OBJ2 ?DEPTH)))) |
Merge.kif 7810-7815 | |
| (=> (depth ?OBJ1 ?OBJ2 ?DEPTH) (orientation ?OBJ1 ?OBJ2 Below)) |
Merge.kif 7806-7808 |
| consequent |
|
|
| (=> (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 Collection) (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 2813-2838 | |
| (=> (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 3018-3045 | |
| (=> (waterDepth ?AREA ?DEPTH) (exists (?BOTTOM ?TOP) (and (depth ?TOP ?BOTTOM ?DEPTH) (top ?TOP ?AREA) (bottom ?BOTTOM ?AREA)))) |
Mid-level-ontology.kif 19140-19146 |
|
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