Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  waterDepth

Sigma KEE - waterDepth
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 17569-17570
(domain waterDepth 1 WaterArea) Mid-level-ontology.kif 17566-17566 waterDepth の数値 1 引数は 水域instance では %n
(domain waterDepth 2 LengthMeasure) Mid-level-ontology.kif 17567-17567 waterDepth の数値 2 引数は 長さ測定instance では %n
(instance waterDepth BinaryPredicate) Mid-level-ontology.kif 17565-17565 waterDepth2進述語instance では %n
(subrelation waterDepth length) Mid-level-ontology.kif 17568-17568 waterDepthlengthsubrelation では %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 17572-17578

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 17585-17600
(=>
    (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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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