depth |
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 7765-7770 | |
(documentation depth JapaneseLanguage "TernaryPredicate は、Object の top と Object の top の上にある別の点との間の distance を示すために使用される (多くの場合、この他のポイン トは海面になる)。注:この Predicate は、例えば、海洋生物や潜水艦の深さを指定するために使用でき る。") | japanese_format.kif 1380-1383 | |
(instance depth SingleValuedRelation) | Merge.kif 7762-7762 | depth は 一価関係 の instance では %n |
(instance depth TernaryPredicate) | Merge.kif 7763-7763 | depth は 3進述語 の instance では %n |
(subrelation depth distance) | Merge.kif 7761-7761 | depth は distance の subrelation では %n |
appearance as argument number 2 |
(format ChineseLanguage depth "对于 %2 从 %1 的 depth 是 %3 ") | domainEnglishFormat.kif 3234-3234 | |
(format ChineseTraditionalLanguage depth "對於 %2 從 %1 的 depth 是 %3 ") | domainEnglishFormat.kif 3233-3233 | |
(format EnglishLanguage depth "the depth from %1 to %2 is %3") | domainEnglishFormat.kif 3232-3232 | |
(termFormat ChineseLanguage depth "深度") | domainEnglishFormat.kif 19182-19182 | |
(termFormat ChineseTraditionalLanguage depth "深度") | domainEnglishFormat.kif 19181-19181 | |
(termFormat EnglishLanguage depth "depth") | domainEnglishFormat.kif 19180-19180 |
antecedent |
(=> (and (instance ?WATERWAY Waterway) (depth ?OBJ ?WATERWAY (MeasureFn ?DEPTH ?UNIT)) (instance ?UNIT UnitOfLength) (lessThan ?DRAFT ?DEPTH)) (navigableForDraft ?WATERWAY (MeasureFn ?DRAFT ?UNIT))) |
Transportation.kif 2700-2706 | |
(=> (depth ?OBJ1 ?OBJ2 ?DEPTH) (exists (?BOTTOM) (and (bottom ?BOTTOM ?OBJ1) (distance ?BOTTOM ?OBJ2 ?DEPTH)))) |
Merge.kif 7776-7781 |
|
(=> (depth ?OBJ1 ?OBJ2 ?DEPTH) (orientation ?OBJ1 ?OBJ2 Below)) |
Merge.kif 7772-7774 |
consequent |