Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  PositiveInteger

 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
-------------------------


(subclass BreadOrBiscuit PreparedFood) Food.kif 1540-1540 Bread or biscuit is a subclass of food
(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 1542-1545 Bread or biscuit is a subclass of food

appearance as argument number 2
-------------------------


(typicalPart WheatFlour BreadOrBiscuit) Food.kif 1541-1541 A wheat flour is typically a part of a bread or biscuit
(subclass Bagel BreadOrBiscuit) Food.kif 2162-2162 Bagel is a subclass of bread or biscuit
(subclass Pancake BreadOrBiscuit) Food.kif 2743-2743 Pancake is a subclass of bread or biscuit
(termFormat EnglishLanguage BreadOrBiscuit "bread or biscuit") domainEnglishFormat.kif 11885-11885 Pancake is a subclass of bread or biscuit
(termFormat ChineseTraditionalLanguage BreadOrBiscuit "麵包或餅乾") domainEnglishFormat.kif 11886-11886 Pancake is a subclass of bread or biscuit
(termFormat ChineseLanguage BreadOrBiscuit "面包或饼干") domainEnglishFormat.kif 11887-11887 Pancake is a subclass of bread or biscuit

antecedent
-------------------------


(=>
    (instance ?X BreadOrBiscuit)
    (attribute ?X CookedAttribute))		 Food.kif 1547-1549 If X is an instance of bread or biscuit, then cooked is an attribute of X
(=>
    (instance ?B BreadOrBiscuit)
    (exists (?D ?BAKE)
        (and
            (instance ?D Dough)
            (instance ?BAKE Baking)
            (resource ?BAKE ?D)
            (result ?BAKE ?B))))		 Food.kif 1551-1558 If X is an instance of bread or biscuit, then there exist Y, Z such that Y is an instance of dough, Z is an instance of baking, Y is a resource for Z, and X is a result of Z
(=>
    (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 1744-1759 If All of the following hold: (1) X is an instance of meal (2) Y is a member of X (3) Y is an instance of coffee or Y is an instance of tea (4) Z is a member of X (5) Z is an instance of juice (6) W is a member of X (7) W is an instance of bread or biscuit (8) W is a member of X (9) W is an instance of butter (10) V is a member of X (11) V is an instance of jam, then continental breakfast is an attribute of X

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 1569-1582 If X is an instance of sandwich, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of bread or biscuit (3) Z is an instance of bread or biscuit (4) W is an instance of food for human (5) W is between Y (6) Z (7) equal Y (8) Z (9) equal Y (10) W (11) equal Z (12) W (13) Y is a part of X (14) Z is a part of X (15) W is a part of X
(=>
    (instance ?DEVICE Breadmaker)
    (hasPurpose ?DEVICE
        (exists (?BREAD ?MAKE)
            (and
                (instance ?BREAD BreadOrBiscuit)
                (instance ?MAKE Cooking)
                (result ?MAKE ?BREAD)
                (instrument ?MAKE ?DEVICE)))))		 HouseholdAppliances.kif 825-833 If X is an instance of bread maker, then X has the purpose there exist Y, Z such that Y is an instance of bread or biscuit, Z is an instance of cooking, Y is a result of Z, and X is an instrument for Z
(=>
    (instance ?DEVICE Toaster)
    (hasPurpose ?DEVICE
        (exists (?HEAT ?BREAD)
            (and
                (instance ?HEAT Heating)
                (instance ?BREAD BreadOrBiscuit)
                (patient ?HEAT ?BREAD)))))		 HouseholdAppliances.kif 931-938 If X is an instance of toaster, then X has the purpose there exist Y, Z such that Y is an instance of heating, Z is an instance of bread or biscuit, and Z is a patient of Y
(=>
    (instance ?CLASS BreadMakingClass)
    (exists (?PROC)
        (and
            (instance ?PROC Cooking)
            (result ?PROC BreadOrBiscuit)
            (subProcess ?PROC ?CLASS))))		 Offers.kif 267-273 If X is an instance of BreadMakingClass, then there exists Y such that Y is an instance of cooking, bread or biscuit is a result of Y, and Y is a subprocess of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners