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 5622-5626
(domain flowCurrent 1 WaterMotion)	Geography.kif 5627-5627	The number 1 argument of flow current is an instance of water motion
(domain flowCurrent 2 WaterArea)	Geography.kif 5628-5628	The number 2 argument of flow current is an instance of water area
(instance flowCurrent BinaryPredicate)	Geography.kif 5621-5621	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 24336-24336
(termFormat ChineseTraditionalLanguage flowCurrent "流動電流")	domainEnglishFormat.kif 24335-24335
(termFormat EnglishLanguage flowCurrent "flow current")	domainEnglishFormat.kif 24334-24334

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 5630-5639