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 5733-5734
(domain tributary 1 Physical) Geography.kif 5735-5735 tributary の数値 1 引数は 物理instance では
(domain tributary 2 Physical) Geography.kif 5736-5736 tributary の数値 2 引数は 物理instance では
(instance tributary BinaryPredicate) Geography.kif 5732-5732 tributary2進述語instance では
(subrelation tributary flows) Geography.kif 5737-5737 tributaryflowssubrelation では

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 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