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


KB Term:  Term intersection
English Word: 

Sigma KEE - Oven
Oven(oven)
Dutch_oven, broiler, gas_oven, oven, tandoor

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


(subclass Oven MajorAppliance) Mid-level-ontology.kif 2875-2875 Oven is a subclass of major appliance
(subclass Oven HeatingDevice) Mid-level-ontology.kif 2916-2916 Oven is a subclass of heating device
(subclass Oven Container) Mid-level-ontology.kif 2917-2917 Oven is a subclass of container
(documentation Oven EnglishLanguage "A HeatingDevice with a door for inserting and removing Food that is to undergo Baking.") Mid-level-ontology.kif 2918-2919 Oven is a subclass of container
(subclass Oven FoodProcessingAppliance) HouseholdAppliances.kif 762-762 Oven is a subclass of food processing appliance
(defaultMinimumHeight Oven
    (MeasureFn 8 Inch))		 DimensioningAmenities.kif 849-849 The minimum expected height of oven is 8 inch(s)
(defaultMaximumHeight Oven
    (MeasureFn 36 Inch))		 DimensioningAmenities.kif 850-850 The maximum expected height of oven is 36 inch(s)
(defaultMinimumWidth Oven
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 851-851 The minimum expected width of oven is 12 inch(s)
(defaultMaximumWidth Oven
    (MeasureFn 36 Inch))		 DimensioningAmenities.kif 852-852 The maximum expected width of oven is 36 inch(s)
(defaultMinimumLength Oven
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 853-853 The minimum expected length of oven is 12 inch(s)
(defaultMaximumLength Oven
    (MeasureFn 36 Inch))		 DimensioningAmenities.kif 854-854 The maximum expected length of oven is 36 inch(s)
(defaultMinimumMeasure Oven
    (MeasureFn 10 PoundMass))		 DimensioningAmenities.kif 855-855 The minimum expected value of oven is 10 pound mass(s)
(defaultMaximumMeasure Oven
    (MeasureFn 100 PoundMass))		 DimensioningAmenities.kif 856-856 The maximum expected value of oven is 100 pound mass(s)
(externalImage Oven "http://upload.wikimedia.org/wikipedia/commons/b/ba/ Oven.agr.jpg") pictureList.kif 144-144 The maximum expected value of oven is 100 pound mass(s)

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


(subclass ElectricOven Oven) HouseholdAppliances.kif 765-765 Electric Oven is a subclass of oven
(termFormat EnglishLanguage Oven "oven") domainEnglishFormat.kif 17166-17166 Electric Oven is a subclass of oven
(termFormat ChineseTraditionalLanguage Oven "烹飪烤箱") domainEnglishFormat.kif 17167-17167 Electric Oven is a subclass of oven
(termFormat ChineseLanguage Oven "烹饪烤箱") domainEnglishFormat.kif 17168-17168 Electric Oven is a subclass of oven

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


(=>
    (instance ?O Oven)
    (hasPurpose ?O
        (exists (?C)
            (and
                (instance ?C Cooking)
                (instrument ?C ?O)))))		 Mid-level-ontology.kif 2921-2927 If X is an instance of oven, then X has the purpose there exists Y such that Y is an instance of cooking and X is an instrument for Y

consequent
-------------------------


(=>
    (instance ?B Baking)
    (exists (?O)
        (and
            (instance ?O Oven)
            (instrument ?B ?O))))		 Food.kif 1446-1451 If X is an instance of baking, then there exists Y such that Y is an instance of oven and Y is an instrument for X
(=>
    (instance ?D Stove)
    (exists (?PAD ?OVEN)
        (and
            (instance ?PAD CookerPad)
            (instance ?OVEN Oven)
            (part ?D ?PAD)
            (part ?D ?OVEN))))		 HouseholdAppliances.kif 773-780 If X is an instance of stove, then there exist Y, Z such that Y is an instance of cooker pad, Z is an instance of oven, X is a part of Y, and X is a part of 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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners