Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
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
FlowFn
Sigma KEE - FlowFn
FlowFn
appearance as argument number 1
(
documentation
FlowFn
EnglishLanguage
"(
FlowFn
?FLUID) denotes the
Motion
process associated with the constitutive
piece
s of the
FlowRegion
?FLUID.")
Geography.kif 4896-4897
(
domain
FlowFn
1
FlowRegion
)
Geography.kif 4893-4893
域
流
, 1 and
流動區域
(
instance
FlowFn
UnaryFunction
)
Geography.kif 4892-4892
例
流
and
UnaryFunction
(
range
FlowFn
Motion
)
Geography.kif 4894-4894
範圍
流
and
Motion
appearance as argument number 2
(
format
ChineseLanguage
FlowFn
"%1 的 flow ")
domainEnglishFormat.kif 1069-1069
(
format
ChineseTraditionalLanguage
FlowFn
"%1 的 flow ")
domainEnglishFormat.kif 1068-1068
(
format
EnglishLanguage
FlowFn
"the flow of %1")
domainEnglishFormat.kif 1067-1067
(
termFormat
ChineseLanguage
FlowFn
"流")
domainEnglishFormat.kif 24338-24338
(
termFormat
ChineseTraditionalLanguage
FlowFn
"流")
domainEnglishFormat.kif 24337-24337
(
termFormat
EnglishLanguage
FlowFn
"flow")
domainEnglishFormat.kif 24336-24336
antecedent
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
MeasureFn
?NUM
KnotUnitOfSpeed
))
(
piece
?PART ?FLUID))
(
piece
?PART
(
MeasureFn
?NUM
KnotUnitOfSpeed
)))
Geography.kif 4905-4909
測量
Substance
的
flow
and
測量
RealNumber
and
結速度單位
片
Substance
and
Substance
片
Substance
and
測量
RealNumber
and
結速度單位
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
測量
Substance
的
flow
and
速度
LengthMeasure
and
TimeDuration
片
Substance
and
Substance
片
Substance
and
速度
LengthMeasure
and
TimeDuration
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION))
(
piece
?PART ?FLUID))
(
measure
?PART
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4911-4915
測量
Substance
的
flow
and
速度
LengthMeasure
,
TimeDuration
,
Region
and
DirectionalAttribute
片
Substance
and
Substance
測量
Substance
and
速度
LengthMeasure
,
TimeDuration
,
Region
and
DirectionalAttribute
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