Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ExplosiveSubstance(explosive substance)
|  | high_explosive, low_explosive |
| appearance as argument number 1 |
|
|
| (subclass ExplosiveSubstance Substance) | Mid-level-ontology.kif 19796-19796 | Explosive substance is a subclass of substance |
| (documentation ExplosiveSubstance EnglishLanguage "Any Substance which is capable of exploding.") | Mid-level-ontology.kif 19797-19797 | Explosive substance is a subclass of substance |
| (externalImage ExplosiveSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 76/ N110_ruuti.jpg") | pictureList.kif 896-896 | Explosive substance is a subclass of substance |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?S ExplosiveSubstance) (capability Explosion instrument ?S)) |
Mid-level-ontology.kif 19799-19801 | If X is an instance of explosive substance, then X is capable of doing explosion as a instrument |
| consequent |
|
|
| (=> (instance ?D ExplosiveDevice) (exists (?S) (and (instance ?S ExplosiveSubstance) (part ?S ?D)))) |
Mid-level-ontology.kif 19803-19808 | If X is an instance of explosive device, then there exists Y such that Y is an instance of explosive substance and Y is a part of X |
| (=> (attribute ?X HazardousExplosives) (instance ?X ExplosiveSubstance)) |
Transportation.kif 4673-4675 | If hazardous explosives is an attribute of X, then X is an instance of explosive substance |
|