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

KB Term:  Term intersection
English Word: 

Sigma KEE - ClothesWasherDryer
ClothesWasherDryer(washing machine)

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


(subclass ClothesWasherDryer TumbleDryer) HouseholdAppliances.kif 673-673 Washing machine is a subclass of tumble dryer
(subclass ClothesWasherDryer ClothesWashingMachine) HouseholdAppliances.kif 674-674 Washing machine is a subclass of clothes washing machine
(documentation ClothesWasherDryer EnglishLanguage "A ClothesWasherDryer is a combination of ClothesWashingMachine and TumbleDryer.") HouseholdAppliances.kif 675-675 Washing machine is a subclass of clothes washing machine

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


(termFormat EnglishLanguage ClothesWasherDryer "washing machine") HouseholdAppliances.kif 676-676


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