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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EdibleNut

 Sigma KEE - EdibleNut
EdibleNut

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 140-140
No TPTP formula. May not be expressible in strict first order. Economy.kif 4469-4469 EdibleNut est une sous-classe de FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4470-4470 EdibleNut est une sous-classe de fruit ou v�g�tal

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 6201-6201 industryProductType TreeNutFarming and EdibleNut
No TPTP formula. May not be expressible in strict first order. Food.kif 2085-2085 AlmondNut est une sous-classe de EdibleNut
No TPTP formula. May not be expressible in strict first order. Food.kif 2419-2419 CashewNut est une sous-classe de EdibleNut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4482-4482 MacademiaNut est une sous-classe de EdibleNut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4518-4518 PalmOilNut est une sous-classe de EdibleNut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4474-4474 PecanNut est une sous-classe de EdibleNut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4476-4476 PineNut est une sous-classe de EdibleNut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4484-4484 SheaNut est une sous-classe de EdibleNut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4472-4472 Walnut est une sous-classe de EdibleNut
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21234-21234
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21233-21233
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21232-21232


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