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 19434-19434 | |
(externalImage ExplosiveSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 76/ N110_ruuti.jpg") | pictureList.kif 896-896 | |
(subclass ExplosiveSubstance Substance) | Mid-level-ontology.kif 19433-19433 | Explosive substance is a subclass of substance |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage ExplosiveSubstance "爆炸性物质") | domainEnglishFormat.kif 22873-22873 | |
(termFormat ChineseTraditionalLanguage ExplosiveSubstance "爆炸性物質") | domainEnglishFormat.kif 22872-22872 | |
(termFormat EnglishLanguage ExplosiveSubstance "explosive substance") | domainEnglishFormat.kif 22871-22871 |
antecedent |
![]() |
(=> (instance ?S ExplosiveSubstance) (capability Explosion instrument ?S)) |
Mid-level-ontology.kif 19436-19438 |
|
consequent |
![]() |
(=> (attribute ?X HazardousExplosives) (instance ?X ExplosiveSubstance)) |
Transportation.kif 4133-4135 |
|
(=> (instance ?D ExplosiveDevice) (exists (?S) (and (instance ?S ExplosiveSubstance) (part ?S ?D)))) |
Mid-level-ontology.kif 19440-19445 |
|
![]() |
![]() |