flowCurrent |
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 5553-5557 | |
(domain flowCurrent 1 WaterMotion) | Geography.kif 5558-5558 | The number 1 argument of flow current is an instance of water motion |
(domain flowCurrent 2 WaterArea) | Geography.kif 5559-5559 | The number 2 argument of flow current is an instance of water area |
(instance flowCurrent BinaryPredicate) | Geography.kif 5552-5552 | 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 24342-24342 | |
(termFormat ChineseTraditionalLanguage flowCurrent "流動電流") | domainEnglishFormat.kif 24341-24341 | |
(termFormat EnglishLanguage flowCurrent "flow current") | domainEnglishFormat.kif 24340-24340 |
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 5561-5570 |
|