Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   GunPowder
|
|
|
| appearance as argument number 1 |
|
|
| (subclass GunPowder Mixture) | Mid-level-ontology.kif 1508-1508 | Gun powder is a subclass of mixture |
| (documentation GunPowder EnglishLanguage "A Mixture of potassium nitrate, sulfur, and charcoal that is used in ExplosiveDevices and to propell Projectiles in ProjectileWeapons.") | Mid-level-ontology.kif 1509-1511 | Gun powder is a subclass of mixture |
| (roomTempState GunPowder Solid) | Mid-level-ontology.kif 34061-34061 | room temperature state gun powder and solid |
| (externalImage GunPowder "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 76/ N110_ruuti.jpg/ 250px_N110_ruuti.jpg") | pictureList.kif 1129-1129 | room temperature state gun powder and solid |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?P GunPowder) (capability Explosion instrument ?P)) |
Mid-level-ontology.kif 1513-1515 | If X is an instance of gun powder, then X is capable of doing explosion as a instrument |
|
