TreeView Knowledge Base Browser

appearance as argument number 1

(instance waterDepth BinaryPredicate)	Mid-level-ontology.kif 19485-19485	water depth is an instance of binary predicate
(domain waterDepth 1 WaterArea)	Mid-level-ontology.kif 19486-19486	The number 1 argument of water depth is an instance of water area
(domain waterDepth 2 LengthMeasure)	Mid-level-ontology.kif 19487-19487	The number 2 argument of water depth is an instance of length measure
(subrelation waterDepth length)	Mid-level-ontology.kif 19488-19488	water depth is a subrelation of length
(documentation waterDepth EnglishLanguage "(waterDepth ?AREA ?LENGTH) means that the depth of water at the Region ?AREA is ?LENGTH.")	Mid-level-ontology.kif 19489-19490	water depth is a subrelation of length

appearance as argument number 2

(format EnglishLanguage waterDepth "%2 is %n a water depth of %1")	domainEnglishFormat.kif 2613-2613
(format ChineseTraditionalLanguage waterDepth "%2 %n 是 %1 的 water 深度")	domainEnglishFormat.kif 2614-2614
(format ChineseLanguage waterDepth "%2 %n 是 %1 的 water 深度")	domainEnglishFormat.kif 2615-2615
(termFormat EnglishLanguage waterDepth "water depth")	domainEnglishFormat.kif 62392-62392
(termFormat ChineseTraditionalLanguage waterDepth "水深")	domainEnglishFormat.kif 62393-62393
(termFormat ChineseLanguage waterDepth "水深")	domainEnglishFormat.kif 62394-62394

antecedent

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

Mid-level-ontology.kif 19492-19498

If X is a water depth of Y, then there exist Z, W such that the depth from W to Z is X, the top of Y is W, and the bottom of Y is Z

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 19505-19520	If X is an instance of flooding and X is located at Y, then there exist Z, W and V such that V is an instance of unit of length and Z V(s) is a water depth of Y holds during the beginning of the time of existence of X and W V(s) is a water depth of Y holds during the end of the time of existence of X and W is greater than Z
(=> (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 6514-6532	If All of the following hold: (1) X is an instance of low tide (2) Y is an instance of high tide (3) X is located at Z (4) Y is located at Z (5) W is an instance of day (6) W overlaps X (7) W overlaps Y, then there exist V, U and T such that T is an instance of unit of length and V T(s) is a water depth of Z holds during X and U T(s) is a water depth of Z holds during Y and U is greater than V

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: