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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 19120-19121
(domain waterDepth 1 WaterArea) Mid-level-ontology.kif 19117-19117 waterDepth の数値 1 引数は 水域 の instance では
(domain waterDepth 2 LengthMeasure) Mid-level-ontology.kif 19118-19118 waterDepth の数値 2 引数は 長さ測定 の instance では
(instance waterDepth BinaryPredicate) Mid-level-ontology.kif 19116-19116 waterDepth は 2進述語 の instance では
(subrelation waterDepth length) Mid-level-ontology.kif 19119-19119 waterDepth は length の subrelation では

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 62385-62385
(termFormat ChineseTraditionalLanguage waterDepth "水深") domainEnglishFormat.kif 62384-62384
(termFormat EnglishLanguage waterDepth "water depth") domainEnglishFormat.kif 62383-62383

antecedent
-------------------------


(=>
    (waterDepth ?AREA ?DEPTH)
    (exists (?BOTTOM ?TOP)
        (and
            (depth ?TOP ?BOTTOM ?DEPTH)
            (top ?TOP ?AREA)
            (bottom ?BOTTOM ?AREA))))		 Mid-level-ontology.kif 19123-19129

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 19136-19151
(=>
    (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 5212-5230


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