Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4365-4372	If an object is an instance of spice, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4359-4359	Spice is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4360-4360	Spice is a subclass of food from plant
No TPTP formula. May not be expressible in strict first order.	Food.kif 3520-3520	Turmeric is a subclass of spice
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4455-4455	Vanilla is a subclass of spice
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4456-4456	Clove is a subclass of spice
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4457-4457	Nutmeg is a subclass of spice
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4458-4458	Mace is a subclass of spice
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4459-4459	Cardamom is a subclass of spice
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4460-4460	Black pepper is a subclass of spice
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4461-4461	Spice pepper is a subclass of spice
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4462-4462	Cinnamon is a subclass of spice
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4463-4463	Ginger is a subclass of spice

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