| 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 | |
| (subclass Smoke Exhaust) | Cars.kif 1140-1140 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Smoke "抽烟") | domainEnglishFormat.kif 53545-53545 | |
| (termFormat ChineseTraditionalLanguage Smoke "抽煙") | domainEnglishFormat.kif 53544-53544 | |
| (termFormat EnglishLanguage Smoke "smoke") | domainEnglishFormat.kif 53543-53543 |
| antecedent |
|
|
| (=> (instance ?SMOKE Smoke) (exists (?BURNING) (and (instance ?BURNING Combustion) (result ?BURNING ?SMOKE)))) |
Merge.kif 14808-14813 |
| consequent |
|
|
| (=> (instance ?C Chimney) (hasPurpose ?C (exists (?S ?R) (and (instance ?S Smoke) (instance ?R Removing) (instrument ?R ?C))))) |
Mid-level-ontology.kif 15256-15263 | |
| (=> (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 25712-25720 |
|
|
|