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
FlowFn
の数値 1 引数は
FlowRegion
の
instance
では %n
(
instance
FlowFn
UnaryFunction
)
Geography.kif 4892-4892
FlowFn
は
1変数関数
の
instance
では %n
(
range
FlowFn
Motion
)
Geography.kif 4894-4894
FlowFn
の
range
は
motion
のインスタンス では %n
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
FlowFn
物質
の
measure
は
実数
の
KnotUnitOfSpeed
(s) では %n
物質
は
物質
の
piece
では %n
物質
は
実数
の
KnotUnitOfSpeed
(s) の
piece
では %n
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
FlowFn
物質
の
measure
は
時間分
per
長さ測定
では %n
物質
は
物質
の
piece
では %n
物質
は
時間分
per
長さ測定
の
piece
では %n
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION))
(
piece
?PART ?FLUID))
(
measure
?PART
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4911-4915
FlowFn
物質
の
measure
は 方向 の 分の %2
per
1 では %n
物質
は
物質
の
piece
では %n
物質
の
measure
は 方向 の 分の %2
per
1 では %n
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