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
Sigma KEE - RiverMouth
RiverMouth
(river mouth)
mouth
appearance as argument number 1
(
documentation
RiverMouth
EnglishLanguage
"
RiverMouth
is the subclass of
WaterArea
s that are the outfalls of a river or stream into another body of water.")
Geography.kif 5727-5728
(
externalImage
RiverMouth
"http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ Klamath_River_mouth_aerial_view.jpg")
pictureList.kif 1498-1498
(
subclass
RiverMouth
StreamWaterArea
)
Geography.kif 5725-5725
River mouth
is a
subclass
of
stream water area
(
subclass
RiverMouth
WaterArea
)
Geography.kif 5724-5724
River mouth
is a
subclass
of
water area
appearance as argument number 2
(
termFormat
ChineseLanguage
RiverMouth
"河口")
domainEnglishFormat.kif 50147-50147
(
termFormat
ChineseTraditionalLanguage
RiverMouth
"河口")
domainEnglishFormat.kif 50146-50146
(
termFormat
EnglishLanguage
RiverMouth
"river mouth")
domainEnglishFormat.kif 50145-50145
consequent
(=>
(
and
(
instance
?RIVER
River
)
(
instance
?WATER
BodyOfWater
)
(
flows
?RIVER ?WATER))
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
RiverMouth
)
(
streamOutfall
?MOUTH ?RIVER)
(
connected
?MOUTH ?WATER))))
Geography.kif 5730-5739
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
(=>
(
instance
?Delta
Delta
)
(
exists
(?Mouth)
(
and
(
instance
?Mouth
RiverMouth
)
(
meetsSpatially
?Mouth ?Delta))))
Geography.kif 5851-5856
If
an object
is an
instance
of
delta
,
then there exists
another object
such that
the other object
is an
instance
of
river mouth
and
the other object
meet
s
the object
(=>
(
instance
?WATER
Estuary
)
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
RiverMouth
)
(
overlapsSpatially
?MOUTH ?WATER))))
Geography.kif 5271-5276
If
an object
is an
instance
of
estuary
,
then there exists
another object
such that
the other object
is an
instance
of
river mouth
and
the other object
and
the object
overlapsSpatially
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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