| 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 14489-14490 | |
| (externalImage Smoke "http://www.adampease.org/Articulate/SUMOpictures/pictures/ recreation/ smoke/ smoke3.png") | pictureList.kif 737-737 | |
| (subclass Smoke Cloud) | Merge.kif 14488-14488 | |
| (subclass Smoke Exhaust) | Cars.kif 1140-1140 |
| 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 14492-14497 |
| consequent |
|
|
| (=> (instance ?C Chimney) (hasPurpose ?C (exists (?S ?R) (and (instance ?S Smoke) (instance ?R Removing) (instrument ?R ?C))))) |
Mid-level-ontology.kif 14502-14509 | |
| (=> (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 24798-24806 |
|
|
|