Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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 5501-5502
(instance tributary BinaryPredicate) Geography.kif 5500-5500 tributary is an instance of binary predicate
(subrelation tributary flows) Geography.kif 5503-5503 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 59193-59193
(termFormat ChineseTraditionalLanguage tributary "支流") domainEnglishFormat.kif 59192-59192
(termFormat EnglishLanguage tributary "tributary") domainEnglishFormat.kif 59191-59191


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