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 15126-15127
(domain waterDepth 1 WaterArea) Mid-level-ontology.kif 15123-15123 domain waterDepth, 1 and WaterArea
(domain waterDepth 2 LengthMeasure) Mid-level-ontology.kif 15124-15124 domain waterDepth, 2 and LengthMeasure
(instance waterDepth BinaryPredicate) Mid-level-ontology.kif 15122-15122 instance waterDepth and BinaryPredicate
(subrelation waterDepth length) Mid-level-ontology.kif 15125-15125 subrelation waterDepth and length

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 62335-62335 termFormat ChineseLanguage, waterDepth and "水深"
(termFormat ChineseTraditionalLanguage waterDepth "水深") domainEnglishFormat.kif 62334-62334 termFormat ChineseTraditionalLanguage, waterDepth and "水深"
(termFormat EnglishLanguage waterDepth "water depth") domainEnglishFormat.kif 62333-62333 termFormat EnglishLanguage, waterDepth and "water depth"

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


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

consequent
-------------------------


(=>
    (and
        (instance ?F Flooding)
        (eventLocated ?F ?P))
    (exists (?L1 ?L2)
        (and
            (holdsDuring
                (BeginFn
                    (WhenFn ?F))
                (waterDepth ?P ?L1))
            (holdsDuring
                (EndFn
                    (WhenFn ?F))
                (waterDepth ?P ?L2))
            (greaterThan ?L2 ?L1))))		 Mid-level-ontology.kif 15141-15153
(=>
    (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)
        (and
            (holdsDuring ?LOW
                (waterDepth ?PLACE ?AMOUNT1))
            (holdsDuring ?HIGH
                (waterDepth ?PLACE ?AMOUNT2))
            (greaterThan ?AMOUNT2 ?AMOUNT1))))		 Geography.kif 4644-4657


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners