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 18658-18659
(domain waterDepth 1 WaterArea)	Mid-level-ontology.kif 18655-18655	The number 1 argument of water depth is an instance of water area
(domain waterDepth 2 LengthMeasure)	Mid-level-ontology.kif 18656-18656	The number 2 argument of water depth is an instance of length measure
(instance waterDepth BinaryPredicate)	Mid-level-ontology.kif 18654-18654	water depth is an instance of binary predicate
(subrelation waterDepth length)	Mid-level-ontology.kif 18657-18657	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 18661-18667

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 18674-18689	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 5027-5045	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: