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

KB Term:  Term intersection
English Word: 

Sigma KEE - Freezer
Freezer(freezer)
Deepfreeze, deep-freeze, deep_freezer, freezer

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


(subclass Freezer MajorAppliance) Mid-level-ontology.kif 2873-2873 Freezer is a subclass of major appliance
(subclass Freezer RefrigerationAppliance) HouseholdAppliances.kif 793-793 Freezer is a subclass of refrigeration appliance
(documentation Freezer EnglishLanguage "An appliance designed to freeze food by cooling it to below 0 Celsius degrees.") HouseholdAppliances.kif 794-794 Freezer is a subclass of refrigeration appliance
(subclass Freezer CoolingDevice) Society.kif 629-629 Freezer is a subclass of cooling device
(subclass Freezer ElectricDevice) Society.kif 630-630 Freezer is a subclass of electric device
(subclass Freezer Container) Society.kif 631-631 Freezer is a subclass of container
(documentation Freezer EnglishLanguage "A freezer is a common household appliance that consists of a thermally insulated compartment and a heat pump which transfers heat from the inside of the freezer to its external environment so that the inside of the freezer is cooled to a temperature below the ambient temperature of the room.") Society.kif 634-635 Freezer is a subclass of container
(externalImage Freezer "http://upload.wikimedia.org/wikipedia/commons/4/ 44/ Openfreezer.jpg") pictureList.kif 4695-4695 Freezer is a subclass of container

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


(subclass FridgeFreezer Freezer) HouseholdAppliances.kif 809-809 Fridge freezer is a subclass of freezer
(termFormat EnglishLanguage Freezer "freezer") domainEnglishFormat.kif 24910-24910 Fridge freezer is a subclass of freezer
(termFormat ChineseTraditionalLanguage Freezer "冰箱") domainEnglishFormat.kif 24911-24911 Fridge freezer is a subclass of freezer
(termFormat ChineseLanguage Freezer "冰箱") domainEnglishFormat.kif 24912-24912 Fridge freezer is a subclass of freezer

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


(domain frozenFoodCompartmentVolume 1 Freezer) HouseholdAppliances.kif 1380-1380 The number 1 argument of frozen food compartment volume is an instance of freezer

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