Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Entity
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 5182-5183
(
domain
FlowRegionFn
1
LiquidMotion
)
Geography.kif 5179-5179
The number 1 argument of
flow region
is an
instance
of
liquid motion
(
instance
FlowRegionFn
UnaryFunction
)
Geography.kif 5178-5178
Flow region
is an
instance
of
unary function
(
range
FlowRegionFn
Region
)
Geography.kif 5180-5180
The
range
of
flow region
is an instance of
region
appearance as argument number 2
(
format
ChineseLanguage
FlowRegionFn
"%1 的 flow 区域")
domainEnglishFormat.kif 1073-1073
(
format
ChineseTraditionalLanguage
FlowRegionFn
"%1 的 flow 區域")
domainEnglishFormat.kif 1072-1072
(
format
EnglishLanguage
FlowRegionFn
"the flow region of %1")
domainEnglishFormat.kif 1071-1071
(
termFormat
ChineseLanguage
FlowRegionFn
"流动区域")
domainEnglishFormat.kif 24355-24355
(
termFormat
ChineseTraditionalLanguage
FlowRegionFn
"流動區域")
domainEnglishFormat.kif 24354-24354
(
termFormat
EnglishLanguage
FlowRegionFn
"flow region")
domainEnglishFormat.kif 24353-24353
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