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

KB Term:  Term intersection
English Word: 

Sigma KEE - RecreationOrExerciseAppliance
RecreationOrExerciseAppliance(whirlpool bathtub)

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


(subclass RecreationOrExerciseAppliance BodyCareAppliance) HouseholdAppliances.kif 163-163 Whirlpool bathtub is a subclass of body care appliance
(subclass RecreationOrExerciseAppliance RecreationOrExerciseDevice) HouseholdAppliances.kif 164-164 Whirlpool bathtub is a subclass of recreation or exercise device
(documentation RecreationOrExerciseAppliance EnglishLanguage "A conjunction of BodyCareAppliance and RecreationOrExerciseDevice.") HouseholdAppliances.kif 166-167 Whirlpool bathtub is a subclass of recreation or exercise device

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


(termFormat EnglishLanguage RecreationOrExerciseAppliance "whirlpool bathtub") HouseholdAppliances.kif 169-169
(subclass ExerciseTreadmill RecreationOrExerciseAppliance) HouseholdAppliances.kif 172-172 Treadmill is a subclass of whirlpool bathtub


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