waterDepth |
appearance as argument number 1 |
(documentation waterDepth EnglishLanguage "(waterDepth ?AREA ?LENGTH) means that the depth of water at the Region ?AREA is ?LENGTH.") | Mid-level-ontology.kif 17568-17569 | |
(domain waterDepth 1 WaterArea) | Mid-level-ontology.kif 17565-17565 | waterDepth の数値 1 引数は 水域 の instance では %n |
(domain waterDepth 2 LengthMeasure) | Mid-level-ontology.kif 17566-17566 | waterDepth の数値 2 引数は 長さ測定 の instance では %n |
(instance waterDepth BinaryPredicate) | Mid-level-ontology.kif 17564-17564 | waterDepth は 2進述語 の instance では %n |
(subrelation waterDepth length) | Mid-level-ontology.kif 17567-17567 | waterDepth は length の subrelation では %n |
appearance as argument number 2 |
(format ChineseLanguage waterDepth "%2 %n 是 %1 的 water 深度") | domainEnglishFormat.kif 2619-2619 | |
(format ChineseTraditionalLanguage waterDepth "%2 %n 是 %1 的 water 深度") | domainEnglishFormat.kif 2618-2618 | |
(format EnglishLanguage waterDepth "%2 is %n a water depth of %1") | domainEnglishFormat.kif 2617-2617 | |
(termFormat ChineseLanguage waterDepth "水深") | domainEnglishFormat.kif 62391-62391 | |
(termFormat ChineseTraditionalLanguage waterDepth "水深") | domainEnglishFormat.kif 62390-62390 | |
(termFormat EnglishLanguage waterDepth "water depth") | domainEnglishFormat.kif 62389-62389 |
antecedent |
(=> (waterDepth ?AREA ?DEPTH) (exists (?BOTTOM ?TOP) (and (depth ?TOP ?BOTTOM ?DEPTH) (top ?TOP ?AREA) (bottom ?BOTTOM ?AREA)))) |
Mid-level-ontology.kif 17571-17577 |
|
consequent |