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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pea

 Sigma KEE - Pea
Pea(pea)
black-eyed_pea, cajan_pea, chickpea, cowpea, dahl, field_pea, garbanzo, garden_pea, green_pea, marrowfat_pea, mushy_peas, pea, pigeon_pea, snow_pea, split-pea, sugar_pea, sugar_snap_pea

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21037-21037
No TPTP formula. May not be expressible in strict first order. pictureList.kif 872-872
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21036-21036 Pea is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Economy.kif 3970-3970 Pea is a subclass of legume
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21035-21035 Pea is a subclass of seed

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44875-44875
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44874-44874
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44873-44873


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