TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 391-391	Meat is disjoint from beverage
No TPTP formula. May not be expressible in strict first order.	Food.kif 292-292	Meat is disjoint from food from plant
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3485-3487
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14899-14904
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 901-901
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14898-14898	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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20366-20366	Beef is a subclass of meat
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20371-20371	Chicken meat 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.	Merge.kif 15048-15048	Egg 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.	Mid-level-ontology.kif 20373-20373	Pork 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 1921-1921	Seafood 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
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1013-1013
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1238-1238
No TPTP formula. May not be expressible in strict first order.	french_format.kif 691-691
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 222-222
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 225-225
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2374-2374
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 643-643
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 227-227
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 260-260
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 712-712
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 226-226

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 20352-20352

The number 1 argument of meat of animal is a subclass of meat

antecedent

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.	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.	Merge.kif 14906-14917	If an object is an instance of meat, then for all another object if the other object is a part of the object, then there exist a third object, a time position and an entity such that the third object is a part of the other object and the entity is an instance of animal and the third object is a part of the entity holds during the time position

consequent

No TPTP formula. May not be expressible in strict first order.

Food.kif 3523-3529

If vegetarian is an attribute of an object,
then there doesn't exist another object such that the other object is an instance of meat and the other object is a part of the object

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

KB Term:			Term intersection

English Word: