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 2451-2452
(subclass WashingDevice Device) Mid-level-ontology.kif 2450-2450 洗涤设备设备subclass

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


(subclass BathingDevice WashingDevice) Mid-level-ontology.kif 8868-8868 洗澡装置洗涤设备subclass
(subclass Bidet WashingDevice) Mid-level-ontology.kif 2177-2177 Bidet洗涤设备subclass
(subclass ClothesWashingMachine WashingDevice) Mid-level-ontology.kif 25378-25378 洗衣机洗涤设备subclass
(subclass WashBasin WashingDevice) Mid-level-ontology.kif 8883-8883 洗手盆洗涤设备subclass
(termFormat ChineseLanguage WashingDevice "洗涤设备") domainEnglishFormat.kif 62265-62265
(termFormat ChineseTraditionalLanguage WashingDevice "洗滌設備") domainEnglishFormat.kif 62264-62264
(termFormat EnglishLanguage WashingDevice "washing device") domainEnglishFormat.kif 62263-62263

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


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


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