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 5553-5557
(domain flowCurrent 1 WaterMotion)	Geography.kif 5558-5558	Die Zahl 1 Argument von flowCurrent ist ein fall von WaterMotion %n{nicht}
(domain flowCurrent 2 WaterArea)	Geography.kif 5559-5559	Die Zahl 2 Argument von flowCurrent ist ein fall von WaterArea %n{nicht}
(instance flowCurrent BinaryPredicate)	Geography.kif 5552-5552	flowCurrent ist ein fall von BinaryPredicate %n{nicht}

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

Geography.kif 5561-5570

Wenn WaterArea ist ein fall von Waterfall %n{nicht} und WaterMotion ist ein fall von WaterMotion %n{nicht} und flowCurrent ** WaterMotion and ** WaterArea und ** WaterMotion beginnet an Object %n{nicht} und ** WaterMotion endet an ** Object %n{nicht} und ** Object ist ein fall von WaterArea %n{nicht} und ** ** Object ist ein fall von WaterArea %n{nicht},
dann ** Object ist Above hinsichlich ** ** Object %n{nicht}