| 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 14805-14806 | |
| (externalImage Smoke "http://articulatesoftware.com/SUMOpictures/recreation/ smoke/ smoke3.png") | pictureList.kif 737-737 | |
| (subclass Smoke Cloud) | Merge.kif 14804-14804 | 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 53550-53550 | |
| (termFormat ChineseTraditionalLanguage Smoke "抽煙") | domainEnglishFormat.kif 53549-53549 | |
| (termFormat EnglishLanguage Smoke "smoke") | domainEnglishFormat.kif 53548-53548 |
| antecedent |
|
|
| (=> (instance ?SMOKE Smoke) (exists (?BURNING) (and (instance ?BURNING Combustion) (result ?BURNING ?SMOKE)))) |
Merge.kif 14808-14813 |
|
| consequent |
|
|
|
|
|