Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WashingDevice
WashingDevice

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


(documentation WashingDevice EnglishLanguage "Any Device whose purpose is Washing something, e.g. washing machines, dishwashers, bathtubs, etc.") Mid-level-ontology.kif 2444-2445
(subclass WashingDevice Device) Mid-level-ontology.kif 2443-2443

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


(subclass BathingDevice WashingDevice) Mid-level-ontology.kif 8895-8895
(subclass Bidet WashingDevice) Mid-level-ontology.kif 2170-2170
(subclass ClothesWashingMachine WashingDevice) Mid-level-ontology.kif 25435-25435
(subclass WashBasin WashingDevice) Mid-level-ontology.kif 8910-8910
(termFormat ChineseLanguage WashingDevice "洗涤设备") domainEnglishFormat.kif 62267-62267
(termFormat ChineseTraditionalLanguage WashingDevice "洗滌設備") domainEnglishFormat.kif 62266-62266
(termFormat EnglishLanguage WashingDevice "washing device") domainEnglishFormat.kif 62265-62265

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


(=>
    (instance ?D WashingDevice)
    (hasPurpose ?D
        (exists (?W)
            (and
                (instance ?W Washing)
                (instrument ?W ?D)))))
Mid-level-ontology.kif 2447-2453


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 is open source software produced by Articulate Software and its partners