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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MaizeGrain
MaizeGrain(maize grain)
Zea_mays_everta, corn, edible_corn, green_corn, hominy, popcorn, sweet_corn

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 Every maize grain is initially part of a maize grass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4043-4043 Maize grain is a subclass of cereal grain

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 6162-6162 Maize grain is an industry product type of corn farming
No TPTP formula. May not be expressible in strict first order. Food.kif 1547-1547 Every corn flour is initially part of a maize grain
No TPTP formula. May not be expressible in strict first order. Economy.kif 4118-4118 Maize grain has name "corn"
No TPTP formula. May not be expressible in strict first order. Economy.kif 4117-4117 Maize grain has name "maize"
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 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