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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SmokingDevice
SmokingDevice(smoking device)
calean, chicha, hookah, hubble-bubble, hubbly-bubbly, kalian, narghile, nargileh, roach, roach_clip, roach_holder, sheesha, shisha, water_pipe

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


(documentation SmokingDevice EnglishLanguage "Any Device whose purpose is Smoking.") Mid-level-ontology.kif 2076-2076
(externalImage SmokingDevice "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 3/ 32/ Zwei_zigaretten.jpg/ 250px_Zwei_zigaretten.jpg") pictureList.kif 1295-1295
(subclass SmokingDevice Device) Mid-level-ontology.kif 2075-2075 Smoking device is a subclass of device

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


(subclass CigarOrCigarette SmokingDevice) Mid-level-ontology.kif 2304-2304 Cigar or cigarette is a subclass of smoking device
(subclass SmokingPipe SmokingDevice) Mid-level-ontology.kif 2086-2086 Smoking pipe is a subclass of smoking device
(termFormat ChineseLanguage SmokingDevice "吸烟装置") domainEnglishFormat.kif 53555-53555 Smoking pipe is a subclass of smoking device
(termFormat ChineseTraditionalLanguage SmokingDevice "吸煙裝置") domainEnglishFormat.kif 53554-53554 Smoking pipe is a subclass of smoking device
(termFormat EnglishLanguage SmokingDevice "smoking device") domainEnglishFormat.kif 53553-53553 Smoking pipe is a subclass of smoking device

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


(=>
    (instance ?D SmokingDevice)
    (hasPurpose ?D
        (exists (?S)
            (and
                (instance ?S Smoking)
                (instrument ?S ?D)))))
Mid-level-ontology.kif 2078-2084


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