Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Missile
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners