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

KB Term:  Term intersection
English Word: 

Sigma KEE - MajorAppliance
MajorAppliance(major appliance)kitchen_appliance, white_goods

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


(subclass MajorAppliance Device) Mid-level-ontology.kif 2870-2870 Major appliance is a subclass of device
(subclass MajorAppliance HomeAppliance) Society.kif 620-620 Major appliance is a subclass of home appliance

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


(subclass Refrigerator MajorAppliance) Mid-level-ontology.kif 2872-2872 Refrigerator is a subclass of major appliance
(subclass Freezer MajorAppliance) Mid-level-ontology.kif 2873-2873 Freezer is a subclass of major appliance
(subclass Stove MajorAppliance) Mid-level-ontology.kif 2874-2874 Stove is a subclass of major appliance
(subclass Oven MajorAppliance) Mid-level-ontology.kif 2875-2875 Oven is a subclass of major appliance
(subclass HotWaterHeater MajorAppliance) Mid-level-ontology.kif 2876-2876 Hot water heater is a subclass of major appliance
(subclass ClothesWashingMachine MajorAppliance) Mid-level-ontology.kif 2877-2877 Clothes washing machine is a subclass of major appliance
(subclass ClothesDryer MajorAppliance) Mid-level-ontology.kif 2878-2878 Clothes dryer is a subclass of major appliance
(subclass Dishwasher MajorAppliance) Mid-level-ontology.kif 2879-2879 Dishwasher is a subclass of major appliance
(termFormat EnglishLanguage MajorAppliance "major appliance") domainEnglishFormat.kif 35705-35705 Dishwasher is a subclass of major appliance
(termFormat ChineseTraditionalLanguage MajorAppliance "主要電器") domainEnglishFormat.kif 35706-35706 Dishwasher is a subclass of major appliance
(termFormat ChineseLanguage MajorAppliance "主要电器") domainEnglishFormat.kif 35707-35707 Dishwasher is a subclass of major 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