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 | |
(domain waterDepth 2 LengthMeasure) | Mid-level-ontology.kif 17566-17566 | |
(instance waterDepth BinaryPredicate) | Mid-level-ontology.kif 17564-17564 | |
(subrelation waterDepth length) | Mid-level-ontology.kif 17567-17567 |
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 |
(=> (and (instance ?F Flooding) (eventLocated ?F ?P)) (exists (?L1 ?L2 ?U) (and (instance ?U UnitOfLength) (holdsDuring (BeginFn (WhenFn ?F)) (waterDepth ?P (MeasureFn ?L1 ?U))) (holdsDuring (EndFn (WhenFn ?F)) (waterDepth ?P (MeasureFn ?L2 ?U))) (greaterThan ?L2 ?L1)))) |
Mid-level-ontology.kif 17584-17599 | |
(=> (and (instance ?LOW LowTide) (instance ?HIGH HighTide) (eventLocated ?LOW ?PLACE) (eventLocated ?HIGH ?PLACE) (instance ?DAY Day) (overlapsTemporally ?LOW ?DAY) (overlapsTemporally ?HIGH ?DAY)) (exists (?AMOUNT1 ?AMOUNT2 ?U) (and (instance ?U UnitOfLength) (holdsDuring ?LOW (waterDepth ?PLACE (MeasureFn ?AMOUNT1 ?U))) (holdsDuring ?HIGH (waterDepth ?PLACE (MeasureFn ?AMOUNT2 ?U))) (greaterThan ?AMOUNT2 ?AMOUNT1)))) |
Geography.kif 4958-4976 |