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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CerealGrain

 Sigma KEE - CerealGrain
CerealGrain(谷物)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4028-4029
No TPTP formula. May not be expressible in strict first order. pictureList.kif 890-890
No TPTP formula. May not be expressible in strict first order. Economy.kif 4027-4027 谷物 是 Grain 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4026-4026 谷物 是 种子 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 6156-6156 谷物 是 谷物种植 的 industry 产品类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 4126-4126 大麦籽粒 是 谷物 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4043-4043 玉米粒 是 谷物 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4142-4142 小米粒 是 谷物 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4121-4121 燕麦粒 是 谷物 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4047-4047 米粒 是 谷物 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4132-4132 黑麦谷物 是 谷物 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4137-4137 高粱粒 是 谷物 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4051-4051 小麦籽粒 是 谷物 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13938-13938
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13937-13937
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13936-13936

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 4166-4172
No TPTP formula. May not be expressible in strict first order. Economy.kif 4035-4040

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 1476-1483
No TPTP formula. May not be expressible in strict first order. Food.kif 3595-3602
No TPTP formula. May not be expressible in strict first order. Food.kif 3608-3615


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