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
(
instance
FlowFn
UnaryFunction
)
Geography.kif 4892-4892
(
range
FlowFn
Motion
)
Geography.kif 4894-4894
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
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION))
(
piece
?PART ?FLUID))
(
measure
?PART
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4911-4915
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