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


KB Term:  Term intersection
English Word: 

  SmallKichenAppliance

 Sigma KEE - SmallKichenAppliance
SmallKichenAppliance(small kitchen appliance)

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


(subclass SmallKichenAppliance FoodProcessingAppliance) HouseholdAppliances.kif 815-815 Small kitchen appliance is a subclass of food processing appliance
(documentation SmallKichenAppliance EnglishLanguage "A FoodProcessingAppliance that is portable.") HouseholdAppliances.kif 816-816 Small kitchen appliance is a subclass of food processing appliance

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


(subclass Microwave SmallKichenAppliance) HouseholdAppliances.kif 783-783 Microwave is a subclass of small kitchen appliance
(termFormat EnglishLanguage SmallKichenAppliance "small kitchen appliance") HouseholdAppliances.kif 817-817 Microwave is a subclass of small kitchen appliance
(subclass Breadmaker SmallKichenAppliance) HouseholdAppliances.kif 820-820 Bread maker is a subclass of small kitchen appliance
(subclass CoffeeMaker SmallKichenAppliance) HouseholdAppliances.kif 836-836 Coffeemaker is a subclass of small kitchen appliance
(subclass FoodBlender SmallKichenAppliance) HouseholdAppliances.kif 854-854 Food blender is a subclass of small kitchen appliance
(subclass FoodMixer SmallKichenAppliance) HouseholdAppliances.kif 872-872 Food mixer is a subclass of small kitchen appliance
(subclass FoodProcessor SmallKichenAppliance) HouseholdAppliances.kif 889-889 Food processor is a subclass of small kitchen appliance
(subclass Kettle SmallKichenAppliance) HouseholdAppliances.kif 904-904 Kettle is a subclass of small kitchen appliance
(subclass Toaster SmallKichenAppliance) HouseholdAppliances.kif 926-926 Toaster is a subclass of small kitchen appliance
(subclass WaffleIron SmallKichenAppliance) HouseholdAppliances.kif 941-941 Waffle iron is a subclass of small kitchen 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