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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CerealGrass

Sigma KEE - CerealGrass
CerealGrass(cereal grass plant)
African_millet, Avena_barbata, Avena_fatua, Avena_sativa, Avene_sterilis, Eleusine_coracana, Hordeum, Hordeum_jubatum, Hordeum_murinum, Hordeum_pusillum, Hordeum_vulgare, Indian_millet, Oryzopsis_hymenoides, Oryzopsis_miliacea, Triticum, Triticum_aestivum, Triticum_aestivum_spelta, Triticum_dicoccum, Triticum_dicoccum_dicoccoides, Triticum_durum, Triticum_spelta, Triticum_turgidum, Zizania, Zizania_aquatica, animated_oat, barley, barley_grass, cereal, cereal_grass, cereal_oat, common_barley, common_wheat, coracan, corakan, durum, durum_wheat, emmer, finger_millet, foxtail_barley, genus_Hordeum, genus_Triticum, genus_Zizania, grain, hard_wheat, kurakkan, little_barley, macaroni_wheat, mountain_rice, oat, ragee...

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3814-3815
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8412-8412
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9042-9042
No TPTP formula. May not be expressible in strict first order. Economy.kif 3813-3813 Cereal grass plant is a subclass of grass plant

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4012-4012 Barley grass is a subclass of cereal grass plant
No TPTP formula. May not be expressible in strict first order. Economy.kif 3821-3821 Maize grass is a subclass of cereal grass plant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4017-4017 Millet grass is a subclass of cereal grass plant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4007-4007 Oat grass is a subclass of cereal grass plant
No TPTP formula. May not be expressible in strict first order. Economy.kif 3817-3817 Paddy rice is a subclass of cereal grass plant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4000-4000 Rye grass is a subclass of cereal grass plant
No TPTP formula. May not be expressible in strict first order. Economy.kif 3826-3826 Sorghum grass is a subclass of cereal grass plant
No TPTP formula. May not be expressible in strict first order. Economy.kif 3860-3860 Wheat grass is a subclass of cereal grass plant
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13950-13950
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13949-13949
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13948-13948

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4031-4033

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


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


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