| 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 19127-19128 | |
| (domain waterDepth 1 WaterArea) | Mid-level-ontology.kif 19124-19124 | |
| (domain waterDepth 2 LengthMeasure) | Mid-level-ontology.kif 19125-19125 | |
| (instance waterDepth BinaryPredicate) | Mid-level-ontology.kif 19123-19123 | |
| (subrelation waterDepth length) | Mid-level-ontology.kif 19126-19126 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage waterDepth "%2 %n 是 %1 的 water 深度") | domainEnglishFormat.kif 2615-2615 | |
| (format ChineseTraditionalLanguage waterDepth "%2 %n 是 %1 的 water 深度") | domainEnglishFormat.kif 2614-2614 | |
| (format EnglishLanguage waterDepth "%2 is %n a water depth of %1") | domainEnglishFormat.kif 2613-2613 | |
| (termFormat ChineseLanguage waterDepth "水深") | domainEnglishFormat.kif 62414-62414 | |
| (termFormat ChineseTraditionalLanguage waterDepth "水深") | domainEnglishFormat.kif 62413-62413 | |
| (termFormat EnglishLanguage waterDepth "water depth") | domainEnglishFormat.kif 62412-62412 |
| antecedent |
|
|
| (=> (waterDepth ?AREA ?DEPTH) (exists (?BOTTOM ?TOP) (and (depth ?TOP ?BOTTOM ?DEPTH) (top ?TOP ?AREA) (bottom ?BOTTOM ?AREA)))) |
Mid-level-ontology.kif 19130-19136 |
| 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 19143-19158 | |
| (=> (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 5027-5045 |
|
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