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 17596-17597
(domain waterDepth 1 WaterArea) Mid-level-ontology.kif 17593-17593 Il numero 1 argomenti di waterDepth è un istanza di SuperficieAcquatica
(domain waterDepth 2 LengthMeasure) Mid-level-ontology.kif 17594-17594 Il numero 2 argomenti di waterDepth è un istanza di MisuraDiLunghezza
(instance waterDepth BinaryPredicate) Mid-level-ontology.kif 17592-17592 waterDepth è un' istanza di PredicatoBinario
(subrelation waterDepth length) Mid-level-ontology.kif 17595-17595 waterDepth è una sottorelazione di length

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 62393-62393
(termFormat ChineseTraditionalLanguage waterDepth "水深") domainEnglishFormat.kif 62392-62392
(termFormat EnglishLanguage waterDepth "water depth") domainEnglishFormat.kif 62391-62391

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


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

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 17612-17627
(=>
    (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 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