flowCurrent - Sigma 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 5686-5690
(domain flowCurrent 1 WaterMotion)	Geography.kif 5691-5691	The number 1 argument of flow current is an instance of water motion
(domain flowCurrent 2 WaterArea)	Geography.kif 5692-5692	The number 2 argument of flow current is an instance of water area
(instance flowCurrent BinaryPredicate)	Geography.kif 5685-5685	flow current is an instance of binary predicate

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 24325-24325
(termFormat ChineseTraditionalLanguage flowCurrent "流動電流")	domainEnglishFormat.kif 24324-24324
(termFormat EnglishLanguage flowCurrent "flow current")	domainEnglishFormat.kif 24323-24323

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 5694-5703