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
O argumento numero 1 de
FlowFn
e' uma
instancia
de
FlowRegion
(
instance
FlowFn
UnaryFunction
)
Geography.kif 4892-4892
FlowFn
e' uma
instancia
de
funcao Unaria
(
range
FlowFn
Motion
)
Geography.kif 4894-4894
O
contra
-dominio de
FlowFn
e' uma instancia de
Movimento
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
A
medida
de
FlowFn
Substancia
e'
Numero Real
KnotUnitOfSpeed
(s)
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
peca
de
Numero Real
KnotUnitOfSpeed
(s)
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
A
medida
de
FlowFn
Substancia
e'
Medida de Comprimento
por
Duracao Temporal
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
peca
de
Medida de Comprimento
por
Duracao Temporal
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION))
(
piece
?PART ?FLUID))
(
measure
?PART
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4911-4915
A
medida
de
FlowFn
Substancia
e'
Medida de Comprimento
por
Duracao Temporal
Regiao
na direcao
Atributo Directional
Substancia
e' uma
peca
de
Substancia
a
medida
de
Substancia
e'
Medida de Comprimento
por
Duracao Temporal
Regiao
na direcao
Atributo Directional
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