Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
FlowRegionFn
Sigma KEE - FlowRegionFn
FlowRegionFn
appearance as argument number 1
(
instance
FlowRegionFn
UnaryFunction
)
Geography.kif 6480-6480
Flow region
is an
instance
of
unary function
(
domain
FlowRegionFn
1
LiquidMotion
)
Geography.kif 6481-6481
The number 1 argument of
flow region
is an
instance
of
liquid motion
(
range
FlowRegionFn
Region
)
Geography.kif 6482-6482
The
range
of
flow region
is an instance of
region
(
documentation
FlowRegionFn
EnglishLanguage
"(
FlowRegionFn
?FLOW) denotes the region in which the coherent
LiquidMotion
process ?FLOW is occurring.")
Geography.kif 6484-6485
The
range
of
flow region
is an instance of
region
appearance as argument number 2
(
format
EnglishLanguage
FlowRegionFn
"the flow region of %1")
domainEnglishFormat.kif 1071-1071
(
format
ChineseTraditionalLanguage
FlowRegionFn
"%1 的 flow 區域")
domainEnglishFormat.kif 1072-1072
(
format
ChineseLanguage
FlowRegionFn
"%1 的 flow 区域")
domainEnglishFormat.kif 1073-1073
(
termFormat
EnglishLanguage
FlowRegionFn
"flow region")
domainEnglishFormat.kif 24346-24346
(
termFormat
ChineseTraditionalLanguage
FlowRegionFn
"流動區域")
domainEnglishFormat.kif 24347-24347
(
termFormat
ChineseLanguage
FlowRegionFn
"流动区域")
domainEnglishFormat.kif 24348-24348
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.0-
0a80e6c8
(2026-05-12) is
open source software
produced by
Articulate Software
and its partners