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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GroceryProduce
GroceryProduce(grocery produce)garden_truck, green_goods, green_groceries, grocery_produce, produce

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3938-3938 A dead apple is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3964-3964 A dead avocado is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3967-3967 A dead banana is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3935-3935 A dead berry is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3970-3970 A dead breadfruit is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3843-3843 A dead cabbage is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3876-3876 A dead carrot is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3896-3896 A dead cassava is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3846-3846 A dead cauliflower is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3944-3944 A dead citrus fruit is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3973-3973 A dead coconut is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3840-3840 A dead cucumber is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3976-3976 A dead date fruit is a subclass of grocery produce
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
No TPTP formula. May not be expressible in strict first order. Economy.kif 3849-3849 A dead eggplant is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3927-3927 A dead grape is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 4033-4033 A dead groundnut is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3837-3837 A dead leafy green vegetable is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3979-3979 A dead mango is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3930-3930 A dead melon is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3941-3941 A dead olive is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3982-3982 A dead papaw is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3987-3987 A dead papaya is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3990-3990 A dead passion fruit is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 4030-4030 A dead peanut is a subclass of grocery produce

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3825-3825 Maize grain is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3884-3884 Potato tuber is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4864-4864 "grocery produce" is the printable form of grocery produce in english language


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