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


KB Term:  Term intersection
English Word: 

Sigma KEE - RefrigerationAppliance
RefrigerationAppliance(refrigeration appliance)

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


(subclass RefrigerationAppliance FoodProcessingAppliance) HouseholdAppliances.kif 786-786 Refrigeration appliance is a subclass of food processing appliance
(subclass RefrigerationAppliance Container) HouseholdAppliances.kif 787-787 Refrigeration appliance is a subclass of container
(subclass RefrigerationAppliance CoolingDevice) HouseholdAppliances.kif 788-788 Refrigeration appliance is a subclass of cooling device
(documentation RefrigerationAppliance EnglishLanguage "An appliance designed to increase maximum food storage time by decreasing its temperature.") HouseholdAppliances.kif 789-789 Refrigeration appliance is a subclass of cooling device

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


(termFormat EnglishLanguage RefrigerationAppliance "refrigeration appliance") HouseholdAppliances.kif 790-790
(subclass Freezer RefrigerationAppliance) HouseholdAppliances.kif 793-793 Freezer is a subclass of refrigeration appliance
(subclass Refrigerator RefrigerationAppliance) HouseholdAppliances.kif 806-806 Refrigerator is a subclass of refrigeration appliance


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