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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EdibleNut

 Sigma KEE - EdibleNut
EdibleNut(edible nut)

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 Edible nut is a subclass of food from plant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4470-4470 Edible nut is a subclass of fruit or vegetable

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 6201-6201 Edible nut is an industry product type of tree nut farming
No TPTP formula. May not be expressible in strict first order. Food.kif 2085-2085 AlmondNut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Food.kif 2419-2419 Cashew nut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4482-4482 Macademia nut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4518-4518 Palm oil nut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4474-4474 Pecan nut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4476-4476 Pine nut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4484-4484 Shea nut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4472-4472 Walnut is a subclass of edible nut
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