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


KB Term:  Term intersection
English Word: 

Sigma KEE - ClothesWashingMachine
ClothesWashingMachine(clothes washing machine)
automatic_washer, washer, washing_machine

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


(subclass ClothesWashingMachine MajorAppliance) Mid-level-ontology.kif 2877-2877 Clothes washing machine is a subclass of major appliance
(subclass ClothesWashingMachine WashingDevice) Mid-level-ontology.kif 27681-27681 Clothes washing machine is a subclass of washing device
(subclass ClothesWashingMachine LaundryAppliance) HouseholdAppliances.kif 653-653 Clothes washing machine is a subclass of dishwasher
(subclass ClothesWashingMachine Container) HouseholdAppliances.kif 655-655 Clothes washing machine is a subclass of container
(documentation ClothesWashingMachine EnglishLanguage "A ClothesWashingMachine is a Device designed for washing clothes. If it has tumble dryer function then it is a ClothesWasherDryer") HouseholdAppliances.kif 656-656 Clothes washing machine is a subclass of container
(documentation ClothesWashingMachine EnglishLanguage "A clothes washing machine is an electric machine designed to wash laundry, such as clothing, towels and sheets in a household.") Society.kif 665-666 Clothes washing machine is a subclass of container
(subclass ClothesWashingMachine ElectricDevice) Society.kif 668-668 Clothes washing machine is a subclass of electric device
(externalImage ClothesWashingMachine "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ f/ fb/ Laundromat_ontario.jpg/ 180px_Laundromat_ontario.jpg") pictureList.kif 1075-1075 Clothes washing machine is a subclass of electric device

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


(termFormat EnglishLanguage ClothesWashingMachine "washing machine") HouseholdAppliances.kif 657-657
(subclass ClothesWasherDryer ClothesWashingMachine) HouseholdAppliances.kif 674-674 Washing machine is a subclass of clothes washing machine
(termFormat EnglishLanguage ClothesWashingMachine "clothes washing machine") domainEnglishFormat.kif 15258-15258 Washing machine is a subclass of clothes washing machine
(termFormat ChineseTraditionalLanguage ClothesWashingMachine "洗衣機") domainEnglishFormat.kif 15259-15259 Washing machine is a subclass of clothes washing machine
(termFormat ChineseLanguage ClothesWashingMachine "洗衣机") domainEnglishFormat.kif 15260-15260 Washing machine is a subclass of clothes washing machine

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


(domainSubclass energyConsumptionPerWashingCycle 1 ClothesWashingMachine) HouseholdAppliances.kif 1486-1486 The number 1 argument of energy consumption per washing cycle is a subclass of clothes washing machine
(domainSubclass waterConsumptionPerWashingCycle 1 ClothesWashingMachine) HouseholdAppliances.kif 1499-1499 The number 1 argument of water use per one clothes washing cycle is a subclass of clothes washing machine
(domainSubclass clothesWasherWaterFactor 1 ClothesWashingMachine) HouseholdAppliances.kif 1512-1512 The number 1 argument of clothes washer water factor is a subclass of clothes washing machine
(domainSubclass washPerformanceClass 1 ClothesWashingMachine) HouseholdAppliances.kif 1540-1540 The number 1 argument of wash performance class is a subclass of clothes washing machine

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


(=>
    (instance ?DEVICE ClothesWashingMachine)
    (hasPurpose ?DEVICE
        (exists (?CLOTH ?CLEANING)
            (and
                (or
                    (instance ?CLOTH Fabric)
                    (instance ?CLOTH Clothing))
                (instance ?CLEANING Washing)
                (patient ?CLEANING ?CLOTH)
                (instrument ?CLEANING ?DEVICE)))))		 HouseholdAppliances.kif 660-670 If X is an instance of clothes washing machine, then X has the purpose there exist Y, Z such that Y is an instance of fabric or Y is an instance of clothing, Z is an instance of washing, Y is a patient of Z, and X is an instrument for Z
(=>
    (and
        (subclass ?X ClothesWashingMachine)
        (laundryApplianceMaximumClothesVolume ?X
            (MeasureFn ?VOL Liter))
        (waterConsumptionPerWashingCycle ?X
            (MeasureFn ?WATER UnitedStatesGallon)))
    (clothesWasherWaterFactor ?X
        (DivisionFn ?WATER
            (MultiplicationFn ?VOL 28.316846592))))		 HouseholdAppliances.kif 1519-1528 If X is a subclass of clothes washing machine, maximum clothes volume X and Y liter(s), and water use per one clothes washing cycle X and Z united states gallon(s), then clothes washer water factor X, Z, Y, and 28.316846592
(=>
    (and
        (instance ?X ClothesWashingMachine)
        (attribute ?X EnergyStar5Rating))
    (and
        (instance ?X ?CLASS)
        (clothesWasherModifiedEnergyFactor ?CLASS ?VALUE)
        (greaterThanOrEqualTo ?VALUE 2.0)))		 HouseholdAppliances.kif 1610-1617 If X is an instance of clothes washing machine and EnergyStar 5 is an attribute of X, then X is an instance of Y, clothes washer modified energy factor Y and Z, and Z is greater than or equal to 2.0

consequent
-------------------------


(=>
    (instance ?ROOM SelfServiceLaundry)
    (exists (?WASHER ?DRYER)
        (and
            (instance ?WASHER CollectionOfObjects)
            (memberType ?WASHER ClothesWashingMachine)
            (located ?WASHER ?ROOM)
            (instance ?DRYER CollectionOfObjects)
            (memberType ?DRYER ClothesDryer)
            (located ?DRYER ?ROOM))))		 Mid-level-ontology.kif 27705-27714 If X is an instance of self-service laundry, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of collection (3) clothes washing machine is a member type of Y (4) Y is located at X (5) Z is an instance of collection (6) clothes dryer is a member type of Z (7) Z is located at X
(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y ClothesWasherLoadConfiguration))
    (or
        (instance ?X ClothesWashingMachine)
        (instance ?X ClothesDryer)))		 HouseholdAppliances.kif 1467-1473 If X is an attribute of Y and X is an instance of clothes washer load configuration, then Y is an instance of clothes washing machine or Y is an instance of clothes 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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners