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 | |
(subclass Smoke Exhaust) | Cars.kif 1140-1140 |
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 |
(=> (instance ?C Chimney) (hasPurpose ?C (exists (?S ?R) (and (instance ?S Smoke) (instance ?R Removing) (instrument ?R ?C))))) |
Mid-level-ontology.kif 15037-15044 | |
(=> (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 25423-25431 |