| 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 14174-14175 | |
| (domain waterDepth 1 WaterArea) | Mid-level-ontology.kif 14171-14171 | |
| (domain waterDepth 2 LengthMeasure) | Mid-level-ontology.kif 14172-14172 | |
| (instance waterDepth BinaryPredicate) | Mid-level-ontology.kif 14170-14170 | |
| (subrelation waterDepth length) | Mid-level-ontology.kif 14173-14173 |
| 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 62357-62357 | |
| (termFormat ChineseTraditionalLanguage waterDepth "水深") | domainEnglishFormat.kif 62356-62356 | |
| (termFormat EnglishLanguage waterDepth "water depth") | domainEnglishFormat.kif 62355-62355 |
| antecedent |
|
|
| (=> (waterDepth ?AREA ?DEPTH) (exists (?BOTTOM ?TOP) (and (depth ?TOP ?BOTTOM ?DEPTH) (top ?TOP ?AREA) (bottom ?BOTTOM ?AREA)))) |
Mid-level-ontology.kif 14177-14183 |
| 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 14190-14205 | |
| (=> (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 4744-4760 |
|
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