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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EdibleNut
EdibleNut(edible nut)
edible_nut

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


No TPTP formula. May not be expressible in strict first order. Society.kif 1296-1296
No TPTP formula. May not be expressible in strict first order. pictureList.kif 140-140 "http://upload.wikimedia.org/wikipedia/commons/3/3f/ Hazelnuts.jpg" is a URL depicting edible nut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4020-4020 Edible nut is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4017-4017 Edible nut is a subclass of reproductive body

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5081-5081 Edible nut is an industry product type of tree nut farming
No TPTP formula. May not be expressible in strict first order. Food.kif 464-464 Almond is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Food.kif 554-554 Cashew nut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Society.kif 1297-1297 Hazelnut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4026-4026 Macademia nut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4064-4064 Palm oil nut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4031-4031 Peanut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4024-4024 Pecan nut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4028-4028 Shea nut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4022-4022 Walnut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3960-3960 "edible nut" is the printable form of edible nut in english language

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 4019-4019 A dead edible nut is a subclass of grocery produce


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners