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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RyeGrain

 Sigma KEE - RyeGrain
RyeGrain(黑麦谷物)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 4133-4134
No TPTP formula. May not be expressible in strict first order. Economy.kif 4135-4135 %每个 黑麦谷物 是 RyeGrass 的 initially part
No TPTP formula. May not be expressible in strict first order. Economy.kif 4132-4132 黑麦谷物 是 谷物 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 6179-6179 黑麦谷物 是 黑麦种植 的 industry 产品类别
No TPTP formula. May not be expressible in strict first order. Food.kif 1535-1535 %每个 RyeFlour 是 黑麦谷物 的 initially part
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50715-50715
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50714-50714
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50713-50713


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