Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Smoke
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Smoke Cloud) | Merge.kif 15070-15070 | Smoke is a subclass of cloud |
| (documentation Smoke EnglishLanguage "A mixture of fine particles suspended in a gas that is produced by Combustion.") | Merge.kif 15071-15072 | Smoke is a subclass of cloud |
| (externalImage Smoke "http://articulatesoftware.com/SUMOpictures/recreation/ smoke/ smoke3.png") | pictureList.kif 737-737 | Smoke is a subclass of cloud |
| appearance as argument number 2 |
|
|
| (subclass Exhaust Smoke) | Cars.kif 1077-1077 | Exhaust is a subclass of smoke |
| (termFormat EnglishLanguage Smoke "smoke") | domainEnglishFormat.kif 53505-53505 | Exhaust is a subclass of smoke |
| (termFormat ChineseTraditionalLanguage Smoke "抽煙") | domainEnglishFormat.kif 53506-53506 | Exhaust is a subclass of smoke |
| (termFormat ChineseLanguage Smoke "抽烟") | domainEnglishFormat.kif 53507-53507 | Exhaust is a subclass of smoke |
| antecedent |
|
|
| (=> (instance ?SMOKE Smoke) (exists (?BURNING) (and (instance ?BURNING Combustion) (result ?BURNING ?SMOKE)))) |
Merge.kif 15074-15079 | If X is an instance of smoke, then there exists Y such that Y is an instance of burning and X is a result of Y |
| consequent |
|
|
| (=> (instance ?C Chimney) (hasPurpose ?C (exists (?S ?R) (and (instance ?S Smoke) (instance ?R Removing) (instrument ?R ?C))))) |
Mid-level-ontology.kif 16613-16620 | If X is an instance of chimney, then X has the purpose there exist Y, Z such that Y is an instance of smoke, Z is an instance of removing, and X is an instrument for Z |
| (=> (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 27727-27735 | If X is an instance of smoke detector, then X has the purpose there exist Y, Z such that Y is an instance of discovering, X is an instrument for Y, Z is a patient of Y, and Z is an instance of smoke |
|
