Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Dining.kif 189-201	If a catalog is an instance of set menu and an agent offers items for sale in the catalog and a kind of entity is in the catalog and a kind of entity is a subclass of prepared food and a physical is an instance of a class and another physical is an instance of the kind of entity and the physical is not equal to the other physical and the physical is price a currency measure for the agent1 and the other physical is price another currency measure for the agent2, then the currency measure is equal to the other currency measure
No TPTP formula. May not be expressible in strict first order.	Food.kif 308-308	Prepared food is a subclass of food
No TPTP formula. May not be expressible in strict first order.	Food.kif 309-309	Prepared food is a subclass of mixture
No TPTP formula. May not be expressible in strict first order.	Food.kif 218-218	Potable water is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Food.kif 389-389	Beverage is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Food.kif 1469-1469	Flour is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Food.kif 1555-1555	Bread or biscuit is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Food.kif 1575-1575	Cooked dish is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Food.kif 1599-1599	Dough is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Food.kif 1618-1618	Soup stock is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Food.kif 1748-1748	Jam is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Food.kif 2061-2061	Sauce is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Food.kif 2125-2125	Cured meat is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Food.kif 2435-2435	Chocolate is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Food.kif 2737-2737	Pasta is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Food.kif 2778-2778	Fermented food is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Food.kif 2817-2817	Dairy product is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Food.kif 3322-3322	Raisin is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Food.kif 3440-3440	Sorbet is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Food.kif 3508-3508	Tofu is a subclass of prepared food
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4359-4359	Spice is a subclass of prepared food

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