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

KB Term:  Term intersection
English Word: 

Sigma KEE - Breadmaker
Breadmaker(bread maker)

appearance as argument number 1
-------------------------


(subclass Breadmaker SmallKichenAppliance) HouseholdAppliances.kif 820-820 Bread maker is a subclass of small kitchen appliance
(subclass Breadmaker ElectricDevice) HouseholdAppliances.kif 821-821 Bread maker is a subclass of electric device
(documentation Breadmaker EnglishLanguage "A SmallKichenAppliance for baking bread.") HouseholdAppliances.kif 822-822 Bread maker is a subclass of electric device

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


(termFormat EnglishLanguage Breadmaker "bread maker") HouseholdAppliances.kif 823-823

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


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


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