BreadOrBiscuit
|
|
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 | BreadOrBiscuit ist eine teilkategorie von PreparedFood |
appearance as argument number 2 |
(subclass Bagel BreadOrBiscuit) | Food.kif 2143-2143 | Bagel ist eine teilkategorie von BreadOrBiscuit |
(subclass Pancake BreadOrBiscuit) | Food.kif 2715-2715 | Pancake ist eine teilkategorie von BreadOrBiscuit |
(termFormat ChineseLanguage BreadOrBiscuit "面包或饼干") | domainEnglishFormat.kif 11879-11879 | |
(termFormat ChineseTraditionalLanguage BreadOrBiscuit "麵包或餅乾") | domainEnglishFormat.kif 11878-11878 | |
(termFormat EnglishLanguage BreadOrBiscuit "bread or biscuit") | domainEnglishFormat.kif 11877-11877 | |
(typicalPart WheatFlour BreadOrBiscuit) | Food.kif 1556-1556 | typicalPart WheatFlour and BreadOrBiscuit |
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 |
|
(=> (instance ?B BreadOrBiscuit) (exists (?D ?BAKE) (and (instance ?D Dough) (instance ?BAKE Baking) (resource ?BAKE ?D) (result ?BAKE ?B)))) |
Food.kif 1566-1573 |
|
(=> (instance ?X BreadOrBiscuit) (attribute ?X CookedAttribute)) |
Food.kif 1562-1564 |
|
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 |
|