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 19137-19138
(domain waterDepth 1 WaterArea)	Mid-level-ontology.kif 19134-19134	The number 1 argument of water depth is an instance of water area
(domain waterDepth 2 LengthMeasure)	Mid-level-ontology.kif 19135-19135	The number 2 argument of water depth is an instance of length measure
(instance waterDepth BinaryPredicate)	Mid-level-ontology.kif 19133-19133	water depth is an instance of binary predicate
(subrelation waterDepth length)	Mid-level-ontology.kif 19136-19136	water depth is a subrelation of 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 62414-62414
(termFormat ChineseTraditionalLanguage waterDepth "水深")	domainEnglishFormat.kif 62413-62413
(termFormat EnglishLanguage waterDepth "water depth")	domainEnglishFormat.kif 62412-62412

antecedent

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

Mid-level-ontology.kif 19140-19146

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 19153-19168	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 5028-5046	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: