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 17752-17753 | |
| (externalImage Missile "http://articulatesoftware.com/SUMOpictures/armed_services/ Airforce/ MISSILE-7.png") | pictureList.kif 597-597 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/0/ 02/ Trident_missile_launch.jpg") | pictureList-ImageNet.kif 465-465 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/0/ 04/ Evolved_Sea_Sparrow_Missile.gif") | pictureList-ImageNet.kif 491-491 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/3/ 36/ PAC-3_Erint_Missile.jpg") | pictureList-ImageNet.kif 487-487 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/3/ 3e/ K-5M_Air-to-Air_Missile.jpg") | pictureList-ImageNet.kif 456-456 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/5/ 53/ Bloodhound_missile_-_Parafield.jpg") | pictureList-ImageNet.kif 467-467 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/5/ 55/ Tomahawk_Block_IV_cruise_missile.jpg") | pictureList-ImageNet.kif 458-458 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/6/ 66/ Sidewider_missile_20040710_145400_1.4.jpg") | pictureList-ImageNet.kif 477-477 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/6/ 69/ Roland_(missile).jpg") | pictureList-ImageNet.kif 492-492 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/6/ 6d/ Asat_missile_20040710_150339_1.4.jpg") | pictureList-ImageNet.kif 444-444 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/6/ 6d/ Fusée_V2.jpg") | pictureList-ImageNet.kif 475-475 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/7/ 72/ AGM-65_missile.JPEG") | pictureList-ImageNet.kif 482-482 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/7/ 7c/ USS_JOHN_S._McCAIN_(DDG_56)_launches_a_missile.jpg") | pictureList-ImageNet.kif 488-488 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/8/ 8e/ Missile_launch_from_Pacific_Missile_Range.jpg") | pictureList-ImageNet.kif 486-486 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/9/ 90/ Atlas_missile_launch.jpg") | pictureList-ImageNet.kif 478-478 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ USS_Lake_Erie_(CG_70)_missile_test.jpg") | pictureList-ImageNet.kif 451-451 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/b/ bd/ Motte-Picquet-Crotal.jpg") | pictureList-ImageNet.kif 479-479 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/c/ ca/ Interceptor_Missile.jpg") | pictureList-ImageNet.kif 446-446 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/e/ ee/ Missouri_missile_BGM-109_Tomahawk.JPG") | pictureList-ImageNet.kif 455-455 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/f/ f9/ Bat_missile_NAN6-50.jpg") | pictureList-ImageNet.kif 457-457 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/f/ fe/ GMD_interceptor_missile_being_loaded_into_silo_ift13b-1.jpg") | pictureList-ImageNet.kif 461-461 | |
| (externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/f/ fe/ Taepodong-2.jpg") | pictureList-ImageNet.kif 484-484 | |
| (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 483-483 | |
| (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 474-474 | |
| 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 17762-17762 | |
| (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 38031-38031 | |
| (termFormat ChineseTraditionalLanguage Missile "導彈") | domainEnglishFormat.kif 38030-38030 | |
| (termFormat EnglishLanguage Missile "missile") | domainEnglishFormat.kif 38029-38029 |
| antecedent |
|
|
| (=> (instance ?M Missile) (exists (?B) (and (instance ?B Bomb) (part ?B ?M)))) |
Mid-level-ontology.kif 17755-17760 |
| 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 |
|
|
|