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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SmokingDevice

Sigma KEE - SmokingDevice
SmokingDevice

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 SmokingDevice est une sous-classe de appareil

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


(subclass CigarOrCigarette SmokingDevice) Mid-level-ontology.kif 2231-2231 CigarOrCigarette est une sous-classe de SmokingDevice
(subclass SmokingPipe SmokingDevice) Mid-level-ontology.kif 2013-2013 SmokingPipe est une sous-classe de SmokingDevice
(termFormat ChineseLanguage SmokingDevice "吸烟装置") domainEnglishFormat.kif 53524-53524
(termFormat ChineseTraditionalLanguage SmokingDevice "吸煙裝置") domainEnglishFormat.kif 53523-53523
(termFormat EnglishLanguage SmokingDevice "smoking device") domainEnglishFormat.kif 53522-53522

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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