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

KB Term:  Term intersection
English Word: 

Sigma KEE - TumbleDryer
TumbleDryer(tumble dryer)

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


(subclass TumbleDryer ClothesDryer) HouseholdAppliances.kif 646-646 Tumble dryer is a subclass of clothes dryer
(subclass TumbleDryer Container) HouseholdAppliances.kif 647-647 Tumble dryer is a subclass of container
(subclass TumbleDryer ElectricDevice) HouseholdAppliances.kif 648-648 Tumble dryer is a subclass of electric device
(documentation TumbleDryer EnglishLanguage "a ClothesDryer with a rotating tumble.") HouseholdAppliances.kif 650-650 Tumble dryer is a subclass of electric device

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


(termFormat EnglishLanguage TumbleDryer "tumble dryer") HouseholdAppliances.kif 649-649
(subclass ClothesWasherDryer TumbleDryer) HouseholdAppliances.kif 673-673 Washing machine is a subclass of tumble dryer

appearance as argument number 3
-------------------------


(domainSubclass maximumSpinSpeed 1 TumbleDryer) HouseholdAppliances.kif 1566-1566 The number 1 argument of maximum spin speed is a subclass of tumble dryer


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