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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Smoke

Sigma KEE - Smoke
Smoke(smoke)
fume, smoke

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


(documentation Smoke ChineseLanguage "这是由 Combustion 产生,悬浮于空气中的细颗粒混合物。") chinese_format.kif 3469-3469
(documentation Smoke EnglishLanguage "A mixture of fine particles suspended in a gas that is produced by Combustion.") Merge.kif 14495-14496
(externalImage Smoke "http://www.adampease.org/Articulate/SUMOpictures/pictures/ recreation/ smoke/ smoke3.png") pictureList.kif 737-737
(subclass Smoke Cloud) Merge.kif 14494-14494 Smoke is a subclass of cloud
(subclass Smoke Exhaust) Cars.kif 1140-1140 Smoke is a subclass of exhaust

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


(termFormat ChineseLanguage Smoke "抽烟") domainEnglishFormat.kif 53493-53493
(termFormat ChineseTraditionalLanguage Smoke "抽煙") domainEnglishFormat.kif 53492-53492
(termFormat EnglishLanguage Smoke "smoke") domainEnglishFormat.kif 53491-53491

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


(=>
    (instance ?SMOKE Smoke)
    (exists (?BURNING)
        (and
            (instance ?BURNING Combustion)
            (result ?BURNING ?SMOKE))))
Merge.kif 14498-14503

consequent
-------------------------


(=>
    (instance ?C Chimney)
    (hasPurpose ?C
        (exists (?S ?R)
            (and
                (instance ?S Smoke)
                (instance ?R Removing)
                (instrument ?R ?C)))))
Mid-level-ontology.kif 14506-14513
(=>
    (instance ?D SmokeDetector)
    (hasPurpose ?D
        (exists (?DISCOVER ?SMOKE)
            (and
                (instance ?DISCOVER Discovering)
                (instrument ?DISCOVER ?D)
                (patient ?DISCOVER ?SMOKE)
                (instance ?SMOKE Smoke)))))
Mid-level-ontology.kif 24802-24810


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