TreeView Knowledge Base Browser

appearance as argument number 1

(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 5460-5464
(domain flowCurrent 1 WaterMotion)	Geography.kif 5465-5465
(domain flowCurrent 2 WaterArea)	Geography.kif 5466-5466
(instance flowCurrent BinaryPredicate)	Geography.kif 5459-5459

appearance as argument number 2

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

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))

Geography.kif 5468-5477