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 4162-4162 Edible nut is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4155-4155 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 5242-5242 Edible nut is an industry product type of tree nut farming
No TPTP formula. May not be expressible in strict first order. Food.kif 401-401 AlmondNut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Food.kif 491-491 Cashew nut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4168-4168 Macademia nut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4214-4214 Palm oil nut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4177-4177 Peanut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4166-4166 Pecan nut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4170-4170 Shea nut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. Economy.kif 4164-4164 Walnut is a subclass of edible nut
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21225-21225
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21224-21224
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21223-21223

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 4157-4160


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