Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
tributary
Sigma KEE - tributary
tributary
appearance as argument number 1
(
instance
tributary
BinaryPredicate
)
Geography.kif 7034-7034
tributary
is an
instance
of
binary predicate
(
documentation
tributary
EnglishLanguage
"A
Relation
between two areas of
Fluid
where one
flows
into the other and the first argument is an area of smaller width or flow rate.")
Geography.kif 7035-7036
tributary
is an
instance
of
binary predicate
(
domain
tributary
1
Physical
)
Geography.kif 7037-7037
The number 1 argument of
tributary
is an
instance
of
physical
(
domain
tributary
2
Physical
)
Geography.kif 7038-7038
The number 2 argument of
tributary
is an
instance
of
physical
(
subrelation
tributary
flows
)
Geography.kif 7039-7039
tributary
is a
subrelation
of
flows
appearance as argument number 2
(
format
EnglishLanguage
tributary
"%1 is a
tributary
of %2")
domainEnglishFormat.kif 4834-4834
(
format
ChineseTraditionalLanguage
tributary
"%1 是 %2 的
tributary
")
domainEnglishFormat.kif 4835-4835
(
format
ChineseLanguage
tributary
"%1 是 %2 的
tributary
")
domainEnglishFormat.kif 4836-4836
(
termFormat
EnglishLanguage
tributary
"tributary")
domainEnglishFormat.kif 59155-59155
(
termFormat
ChineseTraditionalLanguage
tributary
"支流")
domainEnglishFormat.kif 59156-59156
(
termFormat
ChineseLanguage
tributary
"支流")
domainEnglishFormat.kif 59157-59157
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.0-
0a80e6c8
(2026-05-12) is
open source software
produced by
Articulate Software
and its partners