| 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 14833-14834 | |
| (externalImage Smoke "http://articulatesoftware.com/SUMOpictures/recreation/ smoke/ smoke3.png") | pictureList.kif 737-737 | |
| (subclass Smoke Cloud) | Merge.kif 14832-14832 | 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 53543-53543 | |
| (termFormat ChineseTraditionalLanguage Smoke "抽煙") | domainEnglishFormat.kif 53542-53542 | |
| (termFormat EnglishLanguage Smoke "smoke") | domainEnglishFormat.kif 53541-53541 |
| antecedent |
|
|
| (=> (instance ?SMOKE Smoke) (exists (?BURNING) (and (instance ?BURNING Combustion) (result ?BURNING ?SMOKE)))) |
Merge.kif 14836-14841 |
|
| consequent |
|
|
|
|
|