Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ProjectileLauncher(projectile launcher)
|  | whaling_gun |
| appearance as argument number 1 |
|
|
| (subclass ProjectileLauncher Weapon) | Mid-level-ontology.kif 1194-1194 | Projectile launcher is a subclass of weapon |
| (documentation ProjectileLauncher EnglishLanguage "A Weapon that shoots a Projectile.") | Mid-level-ontology.kif 1195-1195 | Projectile launcher is a subclass of weapon |
| (externalImage ProjectileLauncher "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 1/ 1d/ Bazookas_Korea.jpg/ 300px_Bazookas_Korea.jpg") | pictureList.kif 1308-1308 | Projectile launcher is a subclass of weapon |
| appearance as argument number 2 |
|
|
| (subclass Gun ProjectileLauncher) | Mid-level-ontology.kif 1262-1262 | Gun is a subclass of projectile launcher |
| (termFormat EnglishLanguage ProjectileLauncher "projectile launcher") | domainEnglishFormat.kif 47659-47659 | Gun is a subclass of projectile launcher |
| (termFormat ChineseTraditionalLanguage ProjectileLauncher "拋射物發射器") | domainEnglishFormat.kif 47660-47660 | Gun is a subclass of projectile launcher |
| (termFormat ChineseLanguage ProjectileLauncher "抛射物发射器") | domainEnglishFormat.kif 47661-47661 | Gun is a subclass of projectile launcher |
| antecedent |
|
|
| (=> (instance ?L ProjectileLauncher) (capability Shooting instrument ?L)) |
Mid-level-ontology.kif 1197-1199 | If X is an instance of projectile launcher, then X is capable of doing shooting as a instrument |
| consequent |
|
|
| (=> (instance ?S Shooting) (exists (?P ?L) (and (instance ?P Projectile) (patient ?S ?P) (instance ?L ProjectileLauncher) (instrument ?S ?L)))) |
Mid-level-ontology.kif 1201-1208 | If X is an instance of shooting, then there exist Y, Z such that Y is an instance of projectile, Y is a patient of X, Z is an instance of projectile launcher, and Z is an instrument for X |
| (=> (and (instance ?L LoadingWeapon) (destination ?L ?W)) (instance ?W ProjectileLauncher)) |
Mid-level-ontology.kif 1645-1649 | If X is an instance of loading weapon and X ends up at Y, then Y is an instance of projectile launcher |
|