TreeView Knowledge Base Browser

appearance as argument number 1

(subclass WashingDevice Device)	Mid-level-ontology.kif 3049-3049	Washing device is a subclass of device
(documentation WashingDevice EnglishLanguage "Any Device whose purpose is Washing something, e.g. washing machines, dishwashers, bathtubs, etc.")	Mid-level-ontology.kif 3050-3051	Washing device is a subclass of device
(subclass WashingDevice HouseholdAppliance)	HouseholdAppliances.kif 617-617	Washing device is a subclass of household appliance

appearance as argument number 2

(subclass Bidet WashingDevice)	Mid-level-ontology.kif 2776-2776	Bidet is a subclass of washing device
(subclass BathingDevice WashingDevice)	Mid-level-ontology.kif 10235-10235	Bathing device is a subclass of washing device
(subclass WashBasin WashingDevice)	Mid-level-ontology.kif 10250-10250	Wash basin is a subclass of washing device
(subclass ClothesWashingMachine WashingDevice)	Mid-level-ontology.kif 27681-27681	Clothes washing machine is a subclass of washing device
(subclass Dishwasher WashingDevice)	HouseholdAppliances.kif 620-620	Dishwasher is a subclass of washing device
(subclass VacuumCleaner WashingDevice)	HouseholdAppliances.kif 679-679	Vacuum cleaner is a subclass of washing device
(termFormat EnglishLanguage WashingDevice "washing device")	domainEnglishFormat.kif 62266-62266	Vacuum cleaner is a subclass of washing device
(termFormat ChineseTraditionalLanguage WashingDevice "洗滌設備")	domainEnglishFormat.kif 62267-62267	Vacuum cleaner is a subclass of washing device
(termFormat ChineseLanguage WashingDevice "洗涤设备")	domainEnglishFormat.kif 62268-62268	Vacuum cleaner is a subclass of washing device

antecedent

(=>
    (instance ?D WashingDevice)
    (hasPurpose ?D
        (exists (?W)
            (and
                (instance ?W Washing)
                (instrument ?W ?D)))))

If X is an instance of washing device, then X has the purpose there exists Y such that Y is an instance of washing and X is an instrument for Y