TreeView 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 17569-17570
(domain waterDepth 1 WaterArea)	Mid-level-ontology.kif 17566-17566	Le nombre 1 argument de waterDepth est une instance de plan d'eau
(domain waterDepth 2 LengthMeasure)	Mid-level-ontology.kif 17567-17567	Le nombre 2 argument de waterDepth est une instance de mesure de longueur
(instance waterDepth BinaryPredicate)	Mid-level-ontology.kif 17565-17565	waterDepth est une instance de pr�dicat binaire
(subrelation waterDepth length)	Mid-level-ontology.kif 17568-17568	waterDepth est une sous-relation de 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 62391-62391
(termFormat ChineseTraditionalLanguage waterDepth "水深")	domainEnglishFormat.kif 62390-62390
(termFormat EnglishLanguage waterDepth "water depth")	domainEnglishFormat.kif 62389-62389

antecedent

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

Mid-level-ontology.kif 17572-17578

waterDepth objet en une partie and mesure de longueur
objet en une partie objet en une partie depth objet en une partie, objet en une partie and mesure de longueur le dessus de objet en une partie est objet en une partie l' arri�re de objet en une partie est objet en une partie

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 17585-17600	Processus est une instance de Flooding eventLocated processus and objet nombre r�el nombre r�el and entit� entit� est une instance de UnitOfLength waterDepth objet and nombre r�el entit�(s) pendant le d�but de temps d'existence de processus waterDepth objet and nombre r�el entit�(s) pendant la fin de temps d'existence de processus nombre r�el est plus grand que nombre r�el
(=> (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	Interval temporel est une instance de LowTide interval temporel est une instance de HighTide eventLocated interval temporel and objet eventLocated interval temporel and objet interval temporel est une instance de jour interval temporel recouvre interval temporel interval temporel recouvre interval temporel nombre r�el nombre r�el and entit� entit� est une instance de UnitOfLength waterDepth objet and nombre r�el entit�(s) pendant interval temporel waterDepth objet and nombre r�el entit�(s) pendant interval temporel nombre r�el est plus grand que nombre r�el

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

KB Term:			Term intersection

English Word: