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
Le nombre 1 argument de
FlowFn
est une
instance
de
FlowRegion
(
instance
FlowFn
UnaryFunction
)
Geography.kif 4892-4892
FlowFn
est une
instance
de
function unaire
(
range
FlowFn
Motion
)
Geography.kif 4894-4894
Le
domaine
de
FlowFn
est une instance de
d�palcement
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
La
mesure
de
FlowFn
substance
est
nombre r�el
KnotUnitOfSpeed
(s)
substance
est une
pi
�ce de
substance
substance
est une
pi
�ce de
nombre r�el
KnotUnitOfSpeed
(s)
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
La
mesure
de
FlowFn
substance
est
mesure de longueur
par
dur�e temporel
substance
est une
pi
�ce de
substance
substance
est une
pi
�ce de
mesure de longueur
par
dur�e temporel
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION))
(
piece
?PART ?FLUID))
(
measure
?PART
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4911-4915
La
mesure
de
FlowFn
substance
est
mesure de longueur
par
dur�e temporel
en
r�gion
dans la direction
attribut directionnel
substance
est une
pi
�ce de
substance
la
mesure
de
substance
est
mesure de longueur
par
dur�e temporel
en
r�gion
dans la direction
attribut directionnel
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