ClothesWasherLoadConfiguration - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ClothesWasherLoadConfiguration RelationalAttribute)	HouseholdAppliances.kif 1454-1454	Clothes washer load configuration is a subclass of relational attribute
(documentation ClothesWasherLoadConfiguration EnglishLanguage "ClothesWasherFrontLoadConfiguration is an attribute class that defines if a ClothesWashingMachine or %&ClothesDryer is loaded from top of from front.")	HouseholdAppliances.kif 1456-1456	Clothes washer load configuration is a subclass of relational attribute

appearance as argument number 2

(termFormat EnglishLanguage ClothesWasherLoadConfiguration "clothes washer load configuration")	HouseholdAppliances.kif 1455-1455
(instance ClothesWasherTopLoadConfiguration ClothesWasherLoadConfiguration)	HouseholdAppliances.kif 1458-1458	Clothes washer top load configuration is an instance of clothes washer load configuration
(instance ClothesWasherFrontLoadConfiguration ClothesWasherLoadConfiguration)	HouseholdAppliances.kif 1462-1462	Clothes washer front load configuration is an instance of clothes washer load configuration

antecedent

(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y ClothesWasherLoadConfiguration))
    (or
        (instance ?X ClothesWashingMachine)
        (instance ?X ClothesDryer)))