TreeView Knowledge Base Browser

appearance as argument number 1

(instance flowCurrent BinaryPredicate)	Geography.kif 7152-7152	flow current is an instance of binary predicate
(documentation flowCurrent EnglishLanguage "The relation between WaterMotion Processes and the region in which they occur continuously over at least hours, but typically months or years. A water balloon bursting and flowing downhill would not use this relation, because there would be no StreamWaterArea to relate to.")	Geography.kif 7153-7157	flow current is an instance of binary predicate
(domain flowCurrent 1 WaterMotion)	Geography.kif 7158-7158	The number 1 argument of flow current is an instance of water motion
(domain flowCurrent 2 WaterArea)	Geography.kif 7159-7159	The number 2 argument of flow current is an instance of water area

appearance as argument number 2

(format EnglishLanguage flowCurrent "%2 is %n a flow current of %1")	domainEnglishFormat.kif 1063-1063
(format ChineseTraditionalLanguage flowCurrent "%2 %n 是 %1 的 flow 流量")	domainEnglishFormat.kif 1064-1064
(format ChineseLanguage flowCurrent "%2 %n 是 %1 的 flow 流量")	domainEnglishFormat.kif 1065-1065
(termFormat EnglishLanguage flowCurrent "flow current")	domainEnglishFormat.kif 24316-24316
(termFormat ChineseTraditionalLanguage flowCurrent "流動電流")	domainEnglishFormat.kif 24317-24317
(termFormat ChineseLanguage flowCurrent "流动电流")	domainEnglishFormat.kif 24318-24318

antecedent

(=>
    (and
        (instance ?FALL Waterfall)
        (instance ?CURRENT WaterMotion)
        (flowCurrent ?CURRENT ?FALL)
        (origin ?CURRENT ?TOP)
        (destination ?CURRENT ?BOTTOM)
        (instance ?TOP WaterArea)
        (instance ?BOTTOM WaterArea))
    (orientation ?TOP ?BOTTOM Above))

If All of the following hold: (1) X is an instance of waterfall (2) Y is an instance of water motion (3) X is a flow current of Y (4) Y originates at Z (5) Y ends up at W (6) Z is an instance of water area (7) W is an instance of water area, then Z is above to W