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 2003-2003
(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 2002-2002 Smoking device is a subclass of device

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


(subclass CigarOrCigarette SmokingDevice) Mid-level-ontology.kif 2231-2231 Cigar or cigarette is a subclass of smoking device
(subclass SmokingPipe SmokingDevice) Mid-level-ontology.kif 2013-2013 Smoking pipe is a subclass of smoking device
(termFormat ChineseLanguage SmokingDevice "吸烟装置") domainEnglishFormat.kif 53562-53562 Smoking pipe is a subclass of smoking device
(termFormat ChineseTraditionalLanguage SmokingDevice "吸煙裝置") domainEnglishFormat.kif 53561-53561 Smoking pipe is a subclass of smoking device
(termFormat EnglishLanguage SmokingDevice "smoking device") domainEnglishFormat.kif 53560-53560 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 2005-2011


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