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



KB Term:  Term intersection
English Word: 

  HeatingAppliance

Sigma KEE - HeatingAppliance
HeatingAppliance(heating appliance)

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


(subclass HeatingAppliance HouseholdAppliance) HouseholdAppliances.kif 1161-1161 Heating appliance is a subclass of household appliance
(subclass HeatingAppliance HeatingDevice) HouseholdAppliances.kif 1162-1162 Heating appliance is a subclass of heating device
(documentation HeatingAppliance EnglishLanguage "HeatingDevice designed to be used to heat air in a household.") HouseholdAppliances.kif 1163-1163 Heating appliance is a subclass of heating device

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


(subclass ElectricBlanket HeatingAppliance) HouseholdAppliances.kif 968-968 Electric blanket is a subclass of heating appliance
(termFormat EnglishLanguage HeatingAppliance "heating appliance") HouseholdAppliances.kif 1164-1164 Electric blanket is a subclass of heating appliance
(subclass CentralHeatingSystem HeatingAppliance) HouseholdAppliances.kif 1167-1167 Central heating system is a subclass of heating appliance
(subclass ElectricHeater HeatingAppliance) HouseholdAppliances.kif 1172-1172 Electric heating appliance is a subclass of heating appliance
(subclass ElectricTankBoiler HeatingAppliance) HouseholdAppliances.kif 1178-1178 Electric boiler is a subclass of heating appliance


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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