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
flows
Sigma KEE - flows
flows
appearance as argument number 1
(
documentation
flows
EnglishLanguage
"(
flows
?FLUID1 ?FLUID2) means that the
Physical
?FLUID1 moves towards the
Physical
?FLUID2, to which it is
connected
.")
Geography.kif 5437-5439
(
domain
flows
1
(
ExtensionFn
Fluid
))
Geography.kif 5426-5426
The number 1 argument of
flows
is an
instance
of the
class
corresponding to
fluid
(
domain
flows
1
Physical
)
Geography.kif 5428-5428
The number 1 argument of
flows
is an
instance
of
physical
(
domain
flows
2
(
ExtensionFn
Fluid
))
Geography.kif 5427-5427
The number 2 argument of
flows
is an
instance
of the
class
corresponding to
fluid
(
domain
flows
2
Physical
)
Geography.kif 5429-5429
The number 2 argument of
flows
is an
instance
of
physical
(
instance
flows
AsymmetricRelation
)
Geography.kif 5424-5424
flows
is an
instance
of
asymmetric relation
(
instance
flows
BinaryPredicate
)
Geography.kif 5423-5423
flows
is an
instance
of
binary predicate
(
instance
flows
TransitiveRelation
)
Geography.kif 5425-5425
flows
is an
instance
of
transitive relation
appearance as argument number 2
(
format
ChineseLanguage
flows
"%2 %n 是 %1 的
flows
")
domainEnglishFormat.kif 1077-1077
(
format
ChineseTraditionalLanguage
flows
"%2 %n 是 %1 的
flows
")
domainEnglishFormat.kif 1076-1076
(
format
EnglishLanguage
flows
"%2 is %n a
flows
of %1")
domainEnglishFormat.kif 1075-1075
(
subrelation
tributary
flows
)
Geography.kif 5434-5434
tributary
is a
subrelation
of
flows
(
termFormat
ChineseLanguage
flows
"流动")
domainEnglishFormat.kif 24356-24356
(
termFormat
ChineseTraditionalLanguage
flows
"流動")
domainEnglishFormat.kif 24355-24355
(
termFormat
EnglishLanguage
flows
"flows")
domainEnglishFormat.kif 24354-24354
antecedent
(=>
(
and
(
instance
?RIVER
River
)
(
instance
?WATER
BodyOfWater
)
(
flows
?RIVER ?WATER))
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
RiverMouth
)
(
streamOutfall
?MOUTH ?RIVER)
(
connected
?MOUTH ?WATER))))
Geography.kif 5661-5670
If
a river
is an
instance
of
river
and
an object
is an
instance
of
body of water
and
the object
is a
flows
of
the river
,
then there exists
a water area
such that
the water area
is an
instance
of
river mouth
and
the water area
is the
outfall
of
the river
and
the water area
is
connected
to
the object
(=>
(
flows
?FLUID1 ?FLUID2)
(
connected
?FLUID1 ?FLUID2))
Geography.kif 5442-5444
If
an object
is a
flows
of
another object
,
then
the other object
is
connected
to
the object
(=>
(
flows
?FLUID1 ?FLUID2)
(
orientation
?FLUID1 ?FLUID2
Upstream
))
Geography.kif 5446-5448
If
an object
is a
flows
of
another object
,
then
the other object
is
upstream
to
the object
consequent
(=>
(
and
(
instance
?SYSTEM
RiverSystem
)
(
instance
?STREAM
StreamWaterArea
)
(
part
?STREAM ?SYSTEM))
(
exists
(?RIVER)
(
and
(
instance
?RIVER
River
)
(
part
?RIVER ?SYSTEM)
(
flows
?STREAM ?RIVER))))
Geography.kif 5533-5542
If
an object
is an
instance
of
river system
and
another object
is an
instance
of
stream water area
and
the other object
is a
part
of
the object
,
then there exists
a third object
such that
the third object
is an
instance
of
river
and
the third object
is a
part
of
the object
and
the third object
is a
flows
of
the other object
(=>
(
instance
?FORK
StreamWaterConfluence
)
(
exists
(?STREAM ?BRANCH)
(
and
(
instance
?STREAM
River
)
(
instance
?BRANCH
StreamWaterArea
)
(
flows
?BRANCH ?STREAM)
(
connects
?FORK ?STREAM ?BRANCH))))
Geography.kif 5498-5505
If
an object
is an
instance
of
stream water confluence
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
river
and
the third object
is an
instance
of
stream water area
and
the other object
is a
flows
of
the third object
and
the object
connect
s
the other object
and
the third object
(=>
(
instance
?FORK
StreamWaterConfluence
)
(
exists
(?STREAM1 ?STREAM2)
(
and
(
instance
?STREAM1
StreamWaterArea
)
(
connects
?FORK ?STREAM1 ?STREAM2)
(
instance
?STREAM2
StreamWaterArea
)
(
flows
?STREAM1 ?STREAM2))))
Geography.kif 5489-5496
If
an object
is an
instance
of
stream water confluence
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
stream water area
and
the object
connect
s
the other object
and
the third object
and
the third object
is an
instance
of
stream water area
and
the third object
is a
flows
of
the other object
(=>
(
instance
?STREAM
StreamWaterArea
)
(
exists
(?WATER)
(
and
(
instance
?WATER
BodyOfWater
)
(
not
(
equal
?WATER ?STREAM))
(
flows
?STREAM ?WATER))))
Geography.kif 5415-5421
If
a physical
is an
instance
of
stream water area
,
then there exists
another physical
such that
the other physical
is an
instance
of
body of water
and
the other physical
is not
equal
to
the physical
and
the other physical
is a
flows
of
the physical
(=>
(
instance
?WATER
Estuary
)
(
exists
(?RIVER)
(
and
(
instance
?RIVER
River
)
(
flows
?RIVER ?WATER))))
Geography.kif 5195-5200
If
a physical
is an
instance
of
estuary
,
then there exists
another physical
such that
the other physical
is an
instance
of
river
and
the physical
is a
flows
of
the other physical
(=>
(
streamOutfall
?MOUTH ?RIVER)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
flows
?RIVER ?WATER)
(
connected
?MOUTH ?WATER))))
Geography.kif 5693-5699
If
a water area
is the
outfall
of
a river
,
then there exists
an object
such that
the object
is an
instance
of
water area
and
the object
is a
flows
of
the river
and
the water area
is
connected
to
the object
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