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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GroceryProduce

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

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3839-3839 Grocery produce 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 3832-3832 Maize grain is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3926-3926 Potato tuber is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26649-26649
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26648-26648
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26647-26647

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 4016-4019
No TPTP formula. May not be expressible in strict first order. Economy.kif 4058-4061
No TPTP formula. May not be expressible in strict first order. Economy.kif 4065-4068
No TPTP formula. May not be expressible in strict first order. Economy.kif 4009-4012
No TPTP formula. May not be expressible in strict first order. Economy.kif 4072-4075
No TPTP formula. May not be expressible in strict first order. Economy.kif 3859-3862
No TPTP formula. May not be expressible in strict first order. Economy.kif 3911-3914
No TPTP formula. May not be expressible in strict first order. Economy.kif 3951-3954
No TPTP formula. May not be expressible in strict first order. Economy.kif 3866-3869
No TPTP formula. May not be expressible in strict first order. Economy.kif 4030-4033
No TPTP formula. May not be expressible in strict first order. Economy.kif 4079-4082
No TPTP formula. May not be expressible in strict first order. Economy.kif 3852-3855
No TPTP formula. May not be expressible in strict first order. Economy.kif 4086-4089
No TPTP formula. May not be expressible in strict first order. Economy.kif 4157-4160
No TPTP formula. May not be expressible in strict first order. Economy.kif 3873-3876
No TPTP formula. May not be expressible in strict first order. Economy.kif 3995-3998
No TPTP formula. May not be expressible in strict first order. Economy.kif 4179-4182
No TPTP formula. May not be expressible in strict first order. Economy.kif 3845-3848
No TPTP formula. May not be expressible in strict first order. Economy.kif 4093-4096
No TPTP formula. May not be expressible in strict first order. Economy.kif 4000-4003
No TPTP formula. May not be expressible in strict first order. Economy.kif 4023-4026
No TPTP formula. May not be expressible in strict first order. Economy.kif 4100-4103
No TPTP formula. May not be expressible in strict first order. Economy.kif 4110-4113
No TPTP formula. May not be expressible in strict first order. Economy.kif 4117-4120
No TPTP formula. May not be expressible in strict first order. Economy.kif 4172-4175

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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