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
Die Zahl 1 Argument von
flows
ist ein
fall
von die
kategorie
, die
Fluid
entspricht %n{nicht}
(
domain
flows
1
Physical
)
Geography.kif 5428-5428
Die Zahl 1 Argument von
flows
ist ein
fall
von
Physical
%n{nicht}
(
domain
flows
2
(
ExtensionFn
Fluid
))
Geography.kif 5427-5427
Die Zahl 2 Argument von
flows
ist ein
fall
von die
kategorie
, die
Fluid
entspricht %n{nicht}
(
domain
flows
2
Physical
)
Geography.kif 5429-5429
Die Zahl 2 Argument von
flows
ist ein
fall
von
Physical
%n{nicht}
(
instance
flows
AsymmetricRelation
)
Geography.kif 5424-5424
flows
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
flows
BinaryPredicate
)
Geography.kif 5423-5423
flows
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
flows
TransitiveRelation
)
Geography.kif 5425-5425
flows
ist ein
fall
von
TransitiveRelation
%n{nicht}
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
ist eine
teilrelation
von
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
Wenn
River
ist ein
fall
von
River
%n{nicht} und
Object
ist ein
fall
von
BodyOfWater
%n{nicht} und
flows
** River
and
** Object
,
dann es gibt
WaterArea
um
** WaterArea
ist ein
fall
von
RiverMouth
%n{nicht} und
streamOutfall
** WaterArea
and
** River
und
** WaterArea
wird an
** Object
angeschlossen
(=>
(
flows
?FLUID1 ?FLUID2)
(
connected
?FLUID1 ?FLUID2))
Geography.kif 5442-5444
Wenn
flows
Object
and
** Object
,
dann
** Object
wird an
** ** Object
angeschlossen
(=>
(
flows
?FLUID1 ?FLUID2)
(
orientation
?FLUID1 ?FLUID2
Upstream
))
Geography.kif 5446-5448
Wenn
flows
Object
and
** Object
,
dann
** Object
ist
Upstream
hinsichlich
** ** Object
%n{nicht}
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
Wenn
Object
ist ein
fall
von
RiverSystem
%n{nicht} und
** Object
ist ein
fall
von
StreamWaterArea
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
River
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
flows
** ** Object
and
** ** 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
Wenn
Object
ist ein
fall
von
StreamWaterConfluence
%n{nicht},
dann es gibt
** Object
und
** Object
um
** ** Object
ist ein
fall
von
River
%n{nicht} und
** ** Object
ist ein
fall
von
StreamWaterArea
%n{nicht} und
flows
** ** Object
and
** ** Object
und
** Object
schleisst
** ** Object
und
** ** Object
an
(=>
(
instance
?FORK
StreamWaterConfluence
)
(
exists
(?STREAM1 ?STREAM2)
(
and
(
instance
?STREAM1
StreamWaterArea
)
(
connects
?FORK ?STREAM1 ?STREAM2)
(
instance
?STREAM2
StreamWaterArea
)
(
flows
?STREAM1 ?STREAM2))))
Geography.kif 5489-5496
Wenn
Object
ist ein
fall
von
StreamWaterConfluence
%n{nicht},
dann es gibt
** Object
und
** Object
um
** ** Object
ist ein
fall
von
StreamWaterArea
%n{nicht} und
** Object
schleisst
** ** Object
und
** ** Object
an und
** ** Object
ist ein
fall
von
StreamWaterArea
%n{nicht} und
flows
** ** Object
and
** ** Object
(=>
(
instance
?STREAM
StreamWaterArea
)
(
exists
(?WATER)
(
and
(
instance
?WATER
BodyOfWater
)
(
not
(
equal
?WATER ?STREAM))
(
flows
?STREAM ?WATER))))
Geography.kif 5415-5421
Wenn
Physical
ist ein
fall
von
StreamWaterArea
%n{nicht},
dann es gibt
** Physical
um
** ** Physical
ist ein
fall
von
BodyOfWater
%n{nicht} und
** ** Physical
ist gleich
** Physical
nicht und
flows
** Physical
and
** ** Physical
(=>
(
instance
?WATER
Estuary
)
(
exists
(?RIVER)
(
and
(
instance
?RIVER
River
)
(
flows
?RIVER ?WATER))))
Geography.kif 5195-5200
Wenn
Physical
ist ein
fall
von
Estuary
%n{nicht},
dann es gibt
** Physical
um
** ** Physical
ist ein
fall
von
River
%n{nicht} und
flows
** ** Physical
and
** Physical
(=>
(
streamOutfall
?MOUTH ?RIVER)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
flows
?RIVER ?WATER)
(
connected
?MOUTH ?WATER))))
Geography.kif 5693-5699
Wenn
streamOutfall
WaterArea
and
River
,
dann es gibt
Object
um
** Object
ist ein
fall
von
WaterArea
%n{nicht} und
flows
** River
and
** Object
und
** WaterArea
wird an
** Object
angeschlossen
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