waterDepth - Sigma Knowledge base Browser

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 17827-17828
(domain waterDepth 1 WaterArea)	Mid-level-ontology.kif 17824-17824	The number 1 argument of water depth is an instance of water area
(domain waterDepth 2 LengthMeasure)	Mid-level-ontology.kif 17825-17825	The number 2 argument of water depth is an instance of length measure
(instance waterDepth BinaryPredicate)	Mid-level-ontology.kif 17823-17823	water depth is an instance of binary predicate
(subrelation waterDepth length)	Mid-level-ontology.kif 17826-17826	water depth is a subrelation of length

appearance as argument number 2

(format ChineseLanguage waterDepth "%2 %n 是 %1 的 water 深度")	domainEnglishFormat.kif 2611-2611
(format ChineseTraditionalLanguage waterDepth "%2 %n 是 %1 的 water 深度")	domainEnglishFormat.kif 2610-2610
(format EnglishLanguage waterDepth "%2 is %n a water depth of %1")	domainEnglishFormat.kif 2609-2609
(termFormat ChineseLanguage waterDepth "水深")	domainEnglishFormat.kif 62439-62439
(termFormat ChineseTraditionalLanguage waterDepth "水深")	domainEnglishFormat.kif 62438-62438
(termFormat EnglishLanguage waterDepth "water depth")	domainEnglishFormat.kif 62437-62437

antecedent

(=>
    (waterDepth ?AREA ?DEPTH)
    (exists (?BOTTOM ?TOP)
        (and
            (depth ?TOP ?BOTTOM ?DEPTH)
            (top ?TOP ?AREA)
            (bottom ?BOTTOM ?AREA))))

Mid-level-ontology.kif 17830-17836

If a length measure is a water depth of a self connected object,
then there exist another self connected object and a third self connected object such that the depth from the third self connected object to the other self connected object is the length measure and the top of the self connected object is the third self connected object and the bottom of the self connected object is the other self connected object

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 17843-17858	If a process is an instance of flooding and the process is located at an object, then there exist a real number, another real number and an entity such that the entity is an instance of unit of length and the real number the entity(s) is a water depth of the object holds during the beginning of the time of existence of the process and the other real number the entity(s) is a water depth of the object holds during the end of the time of existence of the process and the other real number is greater than the real number
(=> (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	If a time interval is an instance of low tide and another time interval is an instance of high tide and the time interval is located at an object and the other time interval is located at the object and a third time interval is an instance of day and the third time interval overlaps the time interval and the third time interval overlaps the other time interval, then there exist a real number, another real number and an entity such that the entity is an instance of unit of length and the real number the entity(s) is a water depth of the object holds during the time interval and the other real number the entity(s) is a water depth of the object holds during the other time interval and the other real number is greater than the real number

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

KB Term:			Term intersection

English Word: