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


KB Term:  Term intersection
English Word: 

  HouseholdAppliance

 Sigma KEE - HouseholdAppliance
HouseholdAppliance(household appliance)

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


(subclass HouseholdAppliance Device) HouseholdAppliances.kif 68-68 Household appliance is a subclass of device
(documentation HouseholdAppliance EnglishLanguage "%HouseholdAppliance is a Device designed to be used in a PermanentResidence") HouseholdAppliances.kif 70-71 Household appliance is a subclass of device

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


(termFormat EnglishLanguage HouseholdAppliance "household appliance") HouseholdAppliances.kif 73-73
(subclass BodyCareAppliance HouseholdAppliance) HouseholdAppliances.kif 87-87 Body care appliance is a subclass of household appliance
(subclass CommunicationAppliance HouseholdAppliance) HouseholdAppliances.kif 266-266 Communication appliance is a subclass of household appliance
(subclass EntertainmentAppliance HouseholdAppliance) HouseholdAppliances.kif 282-282 Entertainment appliance is a subclass of household appliance
(subclass GardenAppliance HouseholdAppliance) HouseholdAppliances.kif 439-439 Garden tool is a subclass of household appliance
(subclass HomeOfficeAppliance HouseholdAppliance) HouseholdAppliances.kif 512-512 Home office appliance is a subclass of household appliance
(subclass SensorAppliance HouseholdAppliance) HouseholdAppliances.kif 606-606 Sensory appliance is a subclass of household appliance
(subclass WashingDevice HouseholdAppliance) HouseholdAppliances.kif 617-617 Washing device is a subclass of household appliance
(subclass LaundryAppliance HouseholdAppliance) HouseholdAppliances.kif 635-635 Dishwasher is a subclass of household appliance
(subclass DecorativeAppliance HouseholdAppliance) HouseholdAppliances.kif 706-706 Decorative appliance is a subclass of household appliance
(subclass FoodProcessingAppliance HouseholdAppliance) HouseholdAppliances.kif 725-725 Food processing appliance is a subclass of household appliance
(subclass HouseUtilityAppliance HouseholdAppliance) HouseholdAppliances.kif 947-947 House utility appliance is a subclass of household appliance
(subclass LightingAppliance HouseholdAppliance) HouseholdAppliances.kif 1019-1019 Lighting appliance is a subclass of household appliance
(subclass HeatingAppliance HouseholdAppliance) HouseholdAppliances.kif 1161-1161 Heating appliance is a subclass of household appliance

antecedent
-------------------------


(=>
    (instance ?DEVICE HouseholdAppliance)
    (hasPurpose ?DEVICE
        (exists (?PROC ?RESI)
            (and
                (instrument ?PROC ?DEVICE)
                (instance ?PROC Process)
                (instance ?RESI PermanentResidence)
                (partlyLocated ?PROC ?RESI)))))		 HouseholdAppliances.kif 76-84 If X is an instance of household appliance, then X has the purpose there exist Y, Z such that X is an instrument for Y, Y is an instance of process, Z is an instance of permanent residence, and Y is partly located in Z


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