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 17596-17597 | |
(domain waterDepth 1 WaterArea) | Mid-level-ontology.kif 17593-17593 | Il numero 1 argomenti di waterDepth è un istanza di SuperficieAcquatica |
(domain waterDepth 2 LengthMeasure) | Mid-level-ontology.kif 17594-17594 | Il numero 2 argomenti di waterDepth è un istanza di MisuraDiLunghezza |
(instance waterDepth BinaryPredicate) | Mid-level-ontology.kif 17592-17592 | waterDepth è un' istanza di PredicatoBinario |
(subrelation waterDepth length) | Mid-level-ontology.kif 17595-17595 | waterDepth è una sottorelazione di length |
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 62393-62393 | |
(termFormat ChineseTraditionalLanguage waterDepth "水深") | domainEnglishFormat.kif 62392-62392 | |
(termFormat EnglishLanguage waterDepth "water depth") | domainEnglishFormat.kif 62391-62391 |
antecedent |
(=> (waterDepth ?AREA ?DEPTH) (exists (?BOTTOM ?TOP) (and (depth ?TOP ?BOTTOM ?DEPTH) (top ?TOP ?AREA) (bottom ?BOTTOM ?AREA)))) |
Mid-level-ontology.kif 17599-17605 |
consequent |