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


KB Term:  Term intersection
English Word: 

Sigma KEE - ElectricCoffeeMaker
ElectricCoffeeMaker(coffee maker)coffee_maker

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


(subclass ElectricCoffeeMaker ElectricDevice) Food.kif 356-356 Coffee maker is a subclass of electric device
(documentation ElectricCoffeeMaker EnglishLanguage "ElectricCoffeeMaker is a Device that makes Coffee") Food.kif 357-358 Coffee maker is a subclass of electric device
(defaultMinimumMeasure ElectricCoffeeMaker
    (MeasureFn 1 Cup))		 DimensioningAmenities.kif 69-69 The minimum expected value of coffee maker is 1 cup(s)
(defaultMaximumMeasure ElectricCoffeeMaker
    (MeasureFn 12 Cup))		 DimensioningAmenities.kif 70-70 The maximum expected value of coffee maker is 12 cup(s)
(defaultMinimumHeight ElectricCoffeeMaker
    (MeasureFn 8 Inch))		 DimensioningAmenities.kif 71-71 The minimum expected height of coffee maker is 8 inch(s)
(defaultMaximumHeight ElectricCoffeeMaker
    (MeasureFn 11 Inch))		 DimensioningAmenities.kif 72-72 The maximum expected height of coffee maker is 11 inch(s)
(defaultMinimumWidth ElectricCoffeeMaker
    (MeasureFn 6 Inch))		 DimensioningAmenities.kif 73-73 The minimum expected width of coffee maker is 6 inch(s)
(defaultMaximumWidth ElectricCoffeeMaker
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 74-74 The maximum expected width of coffee maker is 12 inch(s)
(defaultMinimumLength ElectricCoffeeMaker
    (MeasureFn 5 Inch))		 DimensioningAmenities.kif 75-75 The minimum expected length of coffee maker is 5 inch(s)
(defaultMaximumLength ElectricCoffeeMaker
    (MeasureFn 17 Inch))		 DimensioningAmenities.kif 76-76 The maximum expected length of coffee maker is 17 inch(s)
(defaultMinimumMeasure ElectricCoffeeMaker
    (MeasureFn 1 PoundMass))		 DimensioningAmenities.kif 77-77 The minimum expected value of coffee maker is 1 pound mass(s)
(defaultMaximumMeasure ElectricCoffeeMaker
    (MeasureFn 10 PoundMass))		 DimensioningAmenities.kif 78-78 The maximum expected value of coffee maker is 10 pound mass(s)
(subclass ElectricCoffeeMaker HomeAppliance) Society.kif 642-642 Coffee maker is a subclass of home appliance

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


(termFormat EnglishLanguage ElectricCoffeeMaker "coffee maker") Food.kif 359-359

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


(=>
    (instance ?C ElectricCoffeeMaker)
    (hasPurpose ?C
        (exists (?COFFEE ?M)
            (and
                (instance ?M CoffeeMaking)
                (instrument ?M ?C)
                (result ?M ?COFFEE)
                (instance ?COFFEE Coffee)))))		 Food.kif 361-369 If X is an instance of coffee maker, then X has the purpose there exist Y, Z such that Z is an instance of coffee making, X is an instrument for Z, Y is a result of Z, and Y is an instance of coffee


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