more pictures...
| Missile
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation Missile EnglishLanguage "A Projectile which is propelled by a rocket and contains a Bomb.") | Mid-level-ontology.kif 15344-15345 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/0/ 02/ Trident_missile_launch.jpg") | pictureList-ImageNet.kif 466-466 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/0/ 04/ Evolved_Sea_Sparrow_Missile.gif") | pictureList-ImageNet.kif 492-492 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/3/ 36/ PAC-3_Erint_Missile.jpg") | pictureList-ImageNet.kif 488-488 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/3/ 3e/ K-5M_Air-to-Air_Missile.jpg") | pictureList-ImageNet.kif 457-457 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/5/ 53/ Bloodhound_missile_-_Parafield.jpg") | pictureList-ImageNet.kif 468-468 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/5/ 55/ Tomahawk_Block_IV_cruise_missile.jpg") | pictureList-ImageNet.kif 459-459 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/6/ 66/ Sidewider_missile_20040710_145400_1.4.jpg") | pictureList-ImageNet.kif 478-478 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/6/ 69/ Roland_(missile).jpg") | pictureList-ImageNet.kif 493-493 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/6/ 6d/ Asat_missile_20040710_150339_1.4.jpg") | pictureList-ImageNet.kif 445-445 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/6/ 6d/ Fusée_V2.jpg") | pictureList-ImageNet.kif 476-476 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/7/ 72/ AGM-65_missile.JPEG") | pictureList-ImageNet.kif 483-483 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/7/ 7c/ USS_JOHN_S._McCAIN_(DDG_56)_launches_a_missile.jpg") | pictureList-ImageNet.kif 489-489 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/8/ 8e/ Missile_launch_from_Pacific_Missile_Range.jpg") | pictureList-ImageNet.kif 487-487 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/9/ 90/ Atlas_missile_launch.jpg") | pictureList-ImageNet.kif 479-479 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ USS_Lake_Erie_(CG_70)_missile_test.jpg") | pictureList-ImageNet.kif 452-452 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/b/ bd/ Motte-Picquet-Crotal.jpg") | pictureList-ImageNet.kif 480-480 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/c/ ca/ Interceptor_Missile.jpg") | pictureList-ImageNet.kif 447-447 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/e/ ee/ Missouri_missile_BGM-109_Tomahawk.JPG") | pictureList-ImageNet.kif 456-456 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/f/ f9/ Bat_missile_NAN6-50.jpg") | pictureList-ImageNet.kif 458-458 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/f/ fe/ GMD_interceptor_missile_being_loaded_into_silo_ift13b-1.jpg") | pictureList-ImageNet.kif 462-462 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/f/ fe/ Taepodong-2.jpg") | pictureList-ImageNet.kif 485-485 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 03/ Boden-Luft-Rakete_SA_5_Gammon.jpg/ 300px-Boden-Luft-Rakete_SA_5_Gammon.jpg") | pictureList-ImageNet.kif 484-484 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 19/ GMD_interceptor_missile_launch_71917a.jpg/ 382px-GMD_interceptor_missile_launch_71917a.jpg") | pictureList-ImageNet.kif 475-475 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 23/ Harpoon_Missile_DN-SC-83-10453.jpg/ 800px-Harpoon_Missile_DN-SC-83-10453.jpg") | pictureList-ImageNet.kif 471-471 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 2 |
|
|
| (subclass AirAttackMissile Missile) | MilitaryDevices.kif 969-969 | |
| (subclass AirLaunchMissile Missile) | MilitaryDevices.kif 939-939 | |
| (subclass AntiTankMissile Missile) | MilitaryDevices.kif 885-885 | |
| (subclass BallisticMissile Missile) | Mid-level-ontology.kif 15354-15354 | |
| (subclass DragonWeapon Missile) | MilitaryDevices.kif 670-670 | |
| (subclass GroundAttackMissile Missile) | MilitaryDevices.kif 992-992 | |
| (subclass GroundLaunchMissile Missile) | MilitaryDevices.kif 957-957 | |
| (subclass GuidedMissile Missile) | MilitaryDevices.kif 1015-1015 | |
| (subclass JavelinWeapon Missile) | MilitaryDevices.kif 720-720 | |
| (subclass SMAWBunkerBuster Missile) | MilitaryDevices.kif 780-780 | |
| (termFormat ChineseLanguage Missile "导弹") | domainEnglishFormat.kif 37957-37957 | |
| (termFormat ChineseTraditionalLanguage Missile "導彈") | domainEnglishFormat.kif 37956-37956 | |
| (termFormat EnglishLanguage Missile "missile") | domainEnglishFormat.kif 37955-37955 |
| antecedent |
|
|
| (=> (instance ?M Missile) (exists (?B) (and (instance ?B Bomb) (part ?B ?M)))) |
Mid-level-ontology.kif 15347-15352 |
| consequent |
|
|
| (=> (and (instance ?SHOOTING Shooting) (instrument ?SHOOTING ?AC) (instance ?AC ArtilleryCannon)) (exists (?PROJ) (and (instrument ?SHOOTING ?PROJ) (instance ?PROJ (UnionFn Missile Grenade))))) |
MilitaryDevices.kif 179-188 |
|
|
|