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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MaizeGrain

 Sigma KEE - MaizeGrain
MaizeGrain(玉米粒)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4044-4045
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1443-1443
No TPTP formula. May not be expressible in strict first order. Economy.kif 4119-4119 %每個 玉米粒 是 MaizeGrass 的 initially part
No TPTP formula. May not be expressible in strict first order. Economy.kif 4043-4043 子類 玉米粒 and 穀物

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 6162-6162 玉米粒 是 玉米種植 的 industry 產品類別
No TPTP formula. May not be expressible in strict first order. Food.kif 1547-1547 %每個 CornFlour 是 玉米粒 的 initially part
No TPTP formula. May not be expressible in strict first order. Economy.kif 4118-4118 名 "corn" and 玉米粒
No TPTP formula. May not be expressible in strict first order. Economy.kif 4117-4117 名 "maize" and 玉米粒
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35687-35687
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35686-35686
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35685-35685


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