Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  flowCurrent

Sigma KEE - flowCurrent
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 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners