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

KB Term:  Term intersection
English Word: 

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 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