BreadOrBiscuit - Sigma Knowledge base Browser

appearance as argument number 1

(documentation BreadOrBiscuit EnglishLanguage "Food that consists largely of WheatFlour and water. Note that this class covers crackers, cookies, as well as any self-connected instance of bread, whether it is a loaf, a slice, a chunk of bread, etc.")	Food.kif 1557-1560
(subclass BreadOrBiscuit PreparedFood)	Food.kif 1555-1555	Bread or biscuit is a subclass of prepared food

appearance as argument number 2

(subclass Bagel BreadOrBiscuit)	Food.kif 2143-2143	Bagel is a subclass of bread or biscuit
(subclass Pancake BreadOrBiscuit)	Food.kif 2715-2715	Pancake is a subclass of bread or biscuit
(termFormat ChineseLanguage BreadOrBiscuit "面包或饼干")	domainEnglishFormat.kif 11895-11895	Pancake is a subclass of bread or biscuit
(termFormat ChineseTraditionalLanguage BreadOrBiscuit "麵包或餅乾")	domainEnglishFormat.kif 11894-11894	Pancake is a subclass of bread or biscuit
(termFormat EnglishLanguage BreadOrBiscuit "bread or biscuit")	domainEnglishFormat.kif 11893-11893	Pancake is a subclass of bread or biscuit
(typicalPart WheatFlour BreadOrBiscuit)	Food.kif 1556-1556	A wheat flour is typically a part of a bread or biscuit

antecedent

(=> (and (instance ?M Meal) (member ?H ?M) (or (instance ?H Coffee) (instance ?H Tea)) (member ?J ?M) (instance ?J Juice) (member ?B ?M) (instance ?B BreadOrBiscuit) (member ?B ?M) (instance ?B Butter) (member ?JA ?M) (instance ?JA Jam)) (attribute ?M ContinentalBreakfast))	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
(=> (instance ?B BreadOrBiscuit) (exists (?D ?BAKE) (and (instance ?D Dough) (instance ?BAKE Baking) (resource ?BAKE ?D) (result ?BAKE ?B))))	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
(=> (instance ?X BreadOrBiscuit) (attribute ?X CookedAttribute))	Food.kif 1562-1564	If an object is an instance of bread or biscuit, then cooked is an attribute of the object

consequent

(=>
    (instance ?S Sandwich)
    (exists (?B1 ?B2 ?F)
        (and
            (instance ?B1 BreadOrBiscuit)
            (instance ?B2 BreadOrBiscuit)
            (instance ?F
                (FoodForFn Human))
            (between ?B1 ?F ?B2)
            (not
                (equal ?B1 ?B2))
            (not
                (equal ?B1 ?F))
            (not
                (equal ?B2 ?F))
            (part ?B1 ?S)
            (part ?B2 ?S)
            (part ?F ?S))))

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

KB Term:			Term intersection

English Word: