BreadOrBiscuit - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - BreadOrBiscuit

BreadOrBiscuit(bread or biscuit)

Boston_brown_bread, Brussels_biscuit, English_muffin, French_bread, French_fritter, French_loaf, Host, Irish_soda_bread, Italian_bread, Jewish_rye, Jewish_rye_bread, Melba_toast, Parker_House_roll, Scotch_pancake, Shawnee_cake, Swedish_rye, Swedish_rye_bread, Vienna_roll, Yorkshire_pudding, anadama_bread, apple_fritter, ash_cake, ashcake, baguet, baguette, baking-powder_biscuit, banana_bread, bannock, bap, barmbrack, batter_bread, bear_claw, bear_paw, beignet, bialy, bialystoker, biscuit, black_bread, bran_muffin, brandysnap, bread, bread-stick, breadstick, breadstuff, brioche, brown_bread, bun, buttermilk_biscuit, caramel_bun, caraway_seed_bread...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 1557-1560
No TPTP formula. May not be expressible in strict first order.	Food.kif 1555-1555	Bread or biscuit is a subclass of prepared food

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 2143-2143	Bagel is a subclass of bread or biscuit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2715-2715	Pancake is a subclass of bread or biscuit
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11879-11879
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11878-11878
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11877-11877
No TPTP formula. May not be expressible in strict first order.	Food.kif 1556-1556	A wheat flour is typically a part of a bread or biscuit

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1731-1746	If a collection is an instance of meal and a physical is a member of the collection and the physical is an instance of coffee or the physical is an instance of tea and another physical is a member of the collection and the other physical is an instance of juice and a third physical is a member of the collection and the third physical is an instance of bread or biscuit and the third physical is a member of the collection and the third physical is an instance of butter and the other physicalA is a member of the collection and the other physicalA is an instance of jam, then continental breakfast is an attribute of the collection
No TPTP formula. May not be expressible in strict first order.	Food.kif 1566-1573	If an entity is an instance of bread or biscuit, then there exist an object and the entityAKE such that the object is an instance of dough and the entityAKE is an instance of baking and the object is a resource for the entityAKE and the entity is a result of the entityAKE
No TPTP formula. May not be expressible in strict first order.	Food.kif 1562-1564	If an object is an instance of bread or biscuit, then cooked is an attribute of the object

consequent

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

Food.kif 1584-1597

If an object is an instance of sandwich,
then there exist another object, a third object and a fourth object such that the other object is an instance of bread or biscuit and the third object is an instance of bread or biscuit and the fourth object is an instance of food for human and the fourth object is between the other object and the third object and the other object is not equal to the third object and the other object is not equal to the fourth object and the third object is not equal to the fourth object and the other object is a part of the object and the third object is a part of the object and the fourth object is a part of the object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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