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

Formal Language: 

KB Term:  Term intersection
English Word: 


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