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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pea

 Sigma KEE - Pea
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 豌豆 是 food for 动物 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4347-4347 豌豆 是 豆科植物 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4112-4112 豌豆 是 种子 的 subclass

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


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


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