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

KB Term:  Term intersection
English Word: 

Sigma KEE - Refrigerator
Refrigerator(refrigerator)cooler, electric_refrigerator, fridge, ice_chest, icebox, refrigeration_system, refrigerator

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


(subclass Refrigerator MajorAppliance) Mid-level-ontology.kif 2872-2872 Refrigerator is a subclass of major appliance
(subclass Refrigerator CoolingDevice) Mid-level-ontology.kif 2941-2941 Refrigerator is a subclass of cooling device
(subclass Refrigerator ElectricDevice) Mid-level-ontology.kif 2942-2942 Refrigerator is a subclass of electric device
(subclass Refrigerator Container) Mid-level-ontology.kif 2943-2943 Refrigerator is a subclass of container
(documentation Refrigerator EnglishLanguage "The intersection of Containers and ElectricDevices in which the temperature is reduced from that of the outside air by a Cooling process.") Mid-level-ontology.kif 2944-2946 Refrigerator is a subclass of container
(subclass Refrigerator RefrigerationAppliance) HouseholdAppliances.kif 806-806 Refrigerator is a subclass of refrigeration appliance
(defaultMinimumHeight Refrigerator
    (MeasureFn 19 Inch))		 DimensioningAmenities.kif 216-216 The minimum expected height of refrigerator is 19 inch(s)
(defaultMaximumHeight Refrigerator
    (MeasureFn 69 Inch))		 DimensioningAmenities.kif 217-217 The maximum expected height of refrigerator is 69 inch(s)
(defaultMinimumWidth Refrigerator
    (MeasureFn 15 Inch))		 DimensioningAmenities.kif 218-218 The minimum expected width of refrigerator is 15 inch(s)
(defaultMaximumWidth Refrigerator
    (MeasureFn 36 Inch))		 DimensioningAmenities.kif 219-219 The maximum expected width of refrigerator is 36 inch(s)
(defaultMinimumLength Refrigerator
    (MeasureFn 18 Inch))		 DimensioningAmenities.kif 220-220 The minimum expected length of refrigerator is 18 inch(s)
(defaultMaximumLength Refrigerator
    (MeasureFn 36 Inch))		 DimensioningAmenities.kif 221-221 The maximum expected length of refrigerator is 36 inch(s)
(defaultMinimumMeasure Refrigerator
    (MeasureFn 40 PoundMass))		 DimensioningAmenities.kif 222-222 The minimum expected value of refrigerator is 40 pound mass(s)
(defaultMaximumMeasure Refrigerator
    (MeasureFn 400 PoundMass))		 DimensioningAmenities.kif 223-223 The maximum expected value of refrigerator is 400 pound mass(s)

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


(subclass FridgeFreezer Refrigerator) HouseholdAppliances.kif 810-810 Fridge freezer is a subclass of refrigerator
(termFormat EnglishLanguage Refrigerator "refrigerator") domainEnglishFormat.kif 49173-49173 Fridge freezer is a subclass of refrigerator
(termFormat ChineseTraditionalLanguage Refrigerator "冰箱") domainEnglishFormat.kif 49174-49174 Fridge freezer is a subclass of refrigerator
(termFormat ChineseLanguage Refrigerator "冰箱") domainEnglishFormat.kif 49175-49175 Fridge freezer is a subclass of refrigerator

appearance as argument number 3
-------------------------


(domain freshFoodCompartmentVolume 1 Refrigerator) HouseholdAppliances.kif 1366-1366 The number 1 argument of fresh food compartment volume is an instance of refrigerator

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


(=>
    (and
        (attribute ?X Compact)
        (freshFoodCompartmentVolume ?X
            (MeasureFn ?VOLUME Liter))
        (instance ?X Refrigerator)
        (not
            (instance ?X Freezer)))
    (lessThanOrEqualTo ?VOLUME 219.45))		 HouseholdAppliances.kif 1396-1404 If compact is an attribute of X, fresh food compartment volume X and Y liter(s), X is an instance of refrigerator, and X is not an instance of freezer, then Y is less than or equal to 219.45
(=>
    (and
        (attribute ?X Compact)
        (frozenFoodCompartmentVolume ?X
            (MeasureFn ?VOLUME Liter))
        (instance ?X Freezer)
        (not
            (instance ?X Refrigerator)))
    (lessThanOrEqualTo ?VOLUME 219.45))		 HouseholdAppliances.kif 1408-1416 If compact is an attribute of X, frozen food compartment volume X and Y liter(s), X is an instance of freezer, and X is not an instance of refrigerator, then Y is less than or equal to 219.45
(=>
    (and
        (attribute ?X Compact)
        (height ?X
            (MeasureFn ?VALUE Inch))
        (or
            (instance ?X Refrigerator)
            (instance ?X Freezer)))
    (lessThanOrEqualTo ?VALUE 36))		 HouseholdAppliances.kif 1435-1443 If compact is an attribute of X, the height of X is Y inch(s), and X is an instance of refrigerator or X is an instance of freezer, then Y is less than or equal to 36


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