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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BathingDevice
BathingDevice(bathing device)
footbath

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


(documentation BathingDevice EnglishLanguage "A WashingDevice which is intended to be used by Humans for washing their bodies. Note that this class covers bathtubs, showers, etc.") Mid-level-ontology.kif 8547-8549
(externalImage BathingDevice "http://upload.wikimedia.org/wikipedia/commons/ 2/ 23/ Clawfoot_bathtub.jpg") pictureList.kif 36-36
(subclass BathingDevice WashingDevice) Mid-level-ontology.kif 8546-8546 Bathing device is a subclass of washing device

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


(subclass BathTub BathingDevice) Mid-level-ontology.kif 2503-2503 Tub is a subclass of bathing device
(subclass Shower BathingDevice) Mid-level-ontology.kif 2479-2479 Shower is a subclass of bathing device
(termFormat ChineseLanguage BathingDevice "洗澡装置") domainEnglishFormat.kif 10189-10189
(termFormat ChineseTraditionalLanguage BathingDevice "洗澡裝置") domainEnglishFormat.kif 10188-10188
(termFormat EnglishLanguage BathingDevice "bathing device") domainEnglishFormat.kif 10187-10187

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


(=>
    (instance ?BD BathingDevice)
    (hasPurpose ?BD
        (exists (?B ?P)
            (and
                (instance ?B Bathing)
                (instrument ?B ?BD)
                (patient ?B ?P)
                (instance ?P Human)))))
Mid-level-ontology.kif 8550-8558


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners