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 14781-14782 | |
(externalImage Smoke "http://articulatesoftware.com/SUMOpictures/recreation/ smoke/ smoke3.png") | pictureList.kif 737-737 | |
(subclass Smoke Cloud) | Merge.kif 14780-14780 | 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 53510-53510 | |
(termFormat ChineseTraditionalLanguage Smoke "抽煙") | domainEnglishFormat.kif 53509-53509 | |
(termFormat EnglishLanguage Smoke "smoke") | domainEnglishFormat.kif 53508-53508 |
antecedent |
(=> (instance ?SMOKE Smoke) (exists (?BURNING) (and (instance ?BURNING Combustion) (result ?BURNING ?SMOKE)))) |
Merge.kif 14784-14789 |
|
consequent |