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 Pea e' uma sub-classe de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order. Economy.kif 4347-4347 Pea e' uma sub-classe de Legume
No TPTP formula. May not be expressible in strict first order. Economy.kif 4112-4112 Pea e' uma sub-classe de 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