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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FlowRegionFn

Sigma KEE - FlowRegionFn
FlowRegionFn

appearance as argument number 1
-------------------------


(documentation FlowRegionFn EnglishLanguage "(FlowRegionFn ?FLOW) denotes the region in which the coherent LiquidMotion process ?FLOW is occurring.") Geography.kif 4601-4602
(domain FlowRegionFn 1 LiquidMotion) Geography.kif 4598-4598
(instance FlowRegionFn UnaryFunction) Geography.kif 4597-4597
(range FlowRegionFn Region) Geography.kif 4599-4599

appearance as argument number 2
-------------------------


(format EnglishLanguage FlowRegionFn "the flow region of %1") domainEnglishFormat.kif 276-276
(termFormat EnglishLanguage FlowRegionFn "flow region") domainEnglishFormat.kif 4480-4480


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners