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. Economy.kif 4114-4114
No TPTP formula. May not be expressible in strict first order. pictureList.kif 871-871
No TPTP formula. May not be expressible in strict first order. Economy.kif 4113-4113 Pea is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Economy.kif 4347-4347 Pea is a subclass of legume
No TPTP formula. May not be expressible in strict first order. Economy.kif 4112-4112 Pea is a subclass of seed

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44898-44898
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44897-44897
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44896-44896


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