Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
tributary
Sigma KEE - tributary
tributary
appearance as argument number 1
(
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 5563-5564
(
domain
tributary
1
Physical
)
Geography.kif 5565-5565
The number 1 argument of
tributary
is an
instance
of
physical
(
domain
tributary
2
Physical
)
Geography.kif 5566-5566
The number 2 argument of
tributary
is an
instance
of
physical
(
instance
tributary
BinaryPredicate
)
Geography.kif 5562-5562
tributary
is an
instance
of
binary predicate
(
subrelation
tributary
flows
)
Geography.kif 5567-5567
tributary
is a
subrelation
of
flows
appearance as argument number 2
(
format
ChineseLanguage
tributary
"%1 是 %2 的
tributary
")
domainEnglishFormat.kif 4836-4836
(
format
ChineseTraditionalLanguage
tributary
"%1 是 %2 的
tributary
")
domainEnglishFormat.kif 4835-4835
(
format
EnglishLanguage
tributary
"%1 is a
tributary
of %2")
domainEnglishFormat.kif 4834-4834
(
termFormat
ChineseLanguage
tributary
"支流")
domainEnglishFormat.kif 59164-59164
(
termFormat
ChineseTraditionalLanguage
tributary
"支流")
domainEnglishFormat.kif 59163-59163
(
termFormat
EnglishLanguage
tributary
"tributary")
domainEnglishFormat.kif 59162-59162
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