| ProjectileLauncher(projectile launcher)
| | projectile_launcher, whaling_gun, 抛射物发射器, 拋射物發射器 |
| appearance as argument number 1 |
|
|
| (documentation ProjectileLauncher EnglishLanguage "A Weapon that shoots a Projectile.") | Mid-level-ontology.kif 1516-1516 | |
| (externalImage ProjectileLauncher "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 1/ 1d/ Bazookas_Korea.jpg/ 300px-Bazookas_Korea.jpg") | pictureList.kif 1309-1309 | "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1d/ Bazookas_Korea.jpg/ 300px-Bazookas_Korea.jpg" is a URL depicting projectile launcher |
| (subclass ProjectileLauncher Weapon) | Mid-level-ontology.kif 1515-1515 | Projectile launcher is a subclass of weapon |
| appearance as argument number 2 |
|
|
| (subclass Gun ProjectileLauncher) | Mid-level-ontology.kif 1545-1545 | Gun is a subclass of projectile launcher |
| (termFormat ChineseLanguage ProjectileLauncher "抛射物发射器") | domainEnglishFormat.kif 47605-47605 | "抛射物发射器" is the printable form of projectile launcher in ChineseLanguage |
| (termFormat ChineseTraditionalLanguage ProjectileLauncher "拋射物發射器") | domainEnglishFormat.kif 47604-47604 | "拋射物發射器" is the printable form of projectile launcher in ChineseTraditionalLanguage |
| (termFormat EnglishLanguage ProjectileLauncher "projectile launcher") | domainEnglishFormat.kif 47603-47603 | "projectile launcher" is the printable form of projectile launcher in english language |
| antecedent |
|
|
| (=> (instance ?L ProjectileLauncher) (capability Shooting instrument ?L)) |
Mid-level-ontology.kif 1518-1520 |
|
| consequent |
|
|
| (=> (and (instance ?L LoadingWeapon) (destination ?L ?W)) (instance ?W ProjectileLauncher)) |
Mid-level-ontology.kif 1757-1761 |
|
| (=> (instance ?S Shooting) (exists (?P ?L) (and (instance ?P Projectile) (patient ?S ?P) (instance ?L ProjectileLauncher) (instrument ?S ?L)))) |
Mid-level-ontology.kif 1522-1529 |
|
|
|
|