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

KB Term:  Term intersection
English Word: 

Sigma KEE - Microwave
Microwave(microwave)microwave, microwave_oven

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


(subclass Microwave ElectricDevice) Food.kif 332-332 Microwave is a subclass of electric device
(documentation Microwave EnglishLanguage "Microwave is an ElectricDevice that heats food by passing an electromagnetic wave through it") Food.kif 333-334 Microwave is a subclass of electric device
(subclass Microwave SmallKichenAppliance) HouseholdAppliances.kif 783-783 Microwave is a subclass of small kitchen appliance
(defaultMinimumHeight Microwave
    (MeasureFn 10 Inch))		 DimensioningAmenities.kif 180-180 The minimum expected height of microwave is 10 inch(s)
(defaultMaximumHeight Microwave
    (MeasureFn 14 Inch))		 DimensioningAmenities.kif 181-181 The maximum expected height of microwave is 14 inch(s)
(defaultMinimumWidth Microwave
    (MeasureFn 18 Inch))		 DimensioningAmenities.kif 182-182 The minimum expected width of microwave is 18 inch(s)
(defaultMaximumWidth Microwave
    (MeasureFn 24 Inch))		 DimensioningAmenities.kif 183-183 The maximum expected width of microwave is 24 inch(s)
(defaultMinimumLength Microwave
    (MeasureFn 14 Inch))		 DimensioningAmenities.kif 184-184 The minimum expected length of microwave is 14 inch(s)
(defaultMaximumLength Microwave
    (MeasureFn 19 Inch))		 DimensioningAmenities.kif 185-185 The maximum expected length of microwave is 19 inch(s)
(defaultMinimumMeasure Microwave
    (MeasureFn 25 PoundMass))		 DimensioningAmenities.kif 186-186 The minimum expected value of microwave is 25 pound mass(s)
(defaultMaximumMeasure Microwave
    (MeasureFn 50 PoundMass))		 DimensioningAmenities.kif 187-187 The maximum expected value of microwave is 50 pound mass(s)
(subclass Microwave HomeAppliance) Society.kif 643-643 Microwave is a subclass of home appliance
(subclass Microwave HeatingDevice) Society.kif 644-644 Microwave is a subclass of heating device

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


(termFormat EnglishLanguage Microwave "microwave") Food.kif 335-335

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


(=>
    (instance ?M Microwave)
    (hasPurpose ?M
        (exists (?FOOD ?HEATING)
            (and
                (instance ?FOOD PreparedFood)
                (instance ?HEATING Heating)
                (instrument ?HEATING ?M)
                (patient ?HEATING ?FOOD)))))		 Food.kif 337-345 If X is an instance of microwave, then X has the purpose there exist Y, Z such that Y is an instance of food, Z is an instance of heating, X is an instrument for Z, and Y is a patient of Z
(=>
    (and
        (instance ?M Microwave)
        (attribute ?M DeviceOn))
    (exists (?PROC)
        (and
            (instance ?PROC RadiatingElectromagnetic)
            (instrument ?PROC ?M))))		 Food.kif 347-354 If X is an instance of microwave and device on is an attribute of X, then there exists Y such that Y is an instance of radiating electromagnetic and X is an instrument for Y


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