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


KB Term:  Term intersection
English Word: 

Sigma KEE - HouseUtilityAppliance
HouseUtilityAppliance(house utility appliance)

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


(subclass HouseUtilityAppliance HouseholdAppliance) HouseholdAppliances.kif 947-947 House utility appliance is a subclass of household appliance

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


(subclass FabricIron HouseUtilityAppliance) Mid-level-ontology.kif 27498-27498 Iron is a subclass of house utility appliance
(subclass BatteryCharger HouseUtilityAppliance) HouseholdAppliances.kif 952-952 Battery charger is a subclass of house utility appliance
(subclass Clock HouseUtilityAppliance) HouseholdAppliances.kif 958-958 Clock is a subclass of house utility appliance
(subclass ElectricBlanket HouseUtilityAppliance) HouseholdAppliances.kif 966-966 Electric blanket is a subclass of house utility appliance
(subclass GarbageDisposer HouseUtilityAppliance) HouseholdAppliances.kif 974-974 Garbage disposer is a subclass of house utility appliance
(subclass Humidifier HouseUtilityAppliance) HouseholdAppliances.kif 980-980 Humidifier is a subclass of house utility appliance
(subclass WaterPurifier HouseUtilityAppliance) HouseholdAppliances.kif 995-995 Water purifier is a subclass of house utility appliance
(termFormat EnglishLanguage HouseUtilityAppliance "house utility appliance") domainEnglishFormat.kif 64998-64998 Water purifier is a subclass of house utility 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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners