Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Food.kif 1909-1915	If an object is an instance of meat, 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 animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4945-4950	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of meat, then a kind of organic object is a subclass of animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 1633-1639	If a kind of object is a subclass of mixture and every a kind of object is initially part of a meat and every the kind of object is initially part of a food from plant and every the kind of object is initially part of a potable water, then the kind of object is equal to soup stock
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14876-14876	Meat is a subclass of animal substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 291-291	Meat is a subclass of food
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20367-20367	Beef is a subclass of meat
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20372-20372	Chicken meat is a subclass of meat
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20374-20374	Pork is a subclass of meat
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15026-15026	Egg is a subclass of meat
No TPTP formula. May not be expressible in strict first order.	Food.kif 1921-1921	Seafood is a subclass of meat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2028-2028	Poultry is a subclass of meat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2126-2126	Cured meat is a subclass of meat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2588-2588	Goat meat is a subclass of meat
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4952-4952	Lamb meat is a subclass of meat
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4957-4957	Mutton is a subclass of meat
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4970-4970	Veal is a subclass of meat
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4975-4975	Water buffalo meat is a subclass of meat

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