| ExplosiveSubstance(explosive substance)
| | high_explosive, low_explosive |
| appearance as argument number 1 |
|
|
| (documentation ExplosiveSubstance EnglishLanguage "Any Substance which is capable of exploding.") | Mid-level-ontology.kif 18121-18121 | |
| (externalImage ExplosiveSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 76/ N110_ruuti.jpg") | pictureList.kif 896-896 | |
| (subclass ExplosiveSubstance Substance) | Mid-level-ontology.kif 18120-18120 | Explosive substance is a subclass of substance |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ExplosiveSubstance "爆炸性物质") | domainEnglishFormat.kif 22890-22890 | |
| (termFormat ChineseTraditionalLanguage ExplosiveSubstance "爆炸性物質") | domainEnglishFormat.kif 22889-22889 | |
| (termFormat EnglishLanguage ExplosiveSubstance "explosive substance") | domainEnglishFormat.kif 22888-22888 |
| antecedent |
|
|
| (=> (instance ?S ExplosiveSubstance) (capability Explosion instrument ?S)) |
Mid-level-ontology.kif 18123-18125 |
|
| consequent |
|
|
| (=> (instance ?D ExplosiveDevice) (exists (?S) (and (instance ?S ExplosiveSubstance) (part ?S ?D)))) |
Mid-level-ontology.kif 18127-18132 |
|
|
|
|