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 17141-17142
(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
(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 470-470

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
(subclass AirLaunchMissile Missile) MilitaryDevices.kif 939-939 空中发射导弹导弹subclass
(subclass AntiTankMissile Missile) MilitaryDevices.kif 885-885 反坦克导弹导弹subclass
(subclass BallisticMissile Missile) Mid-level-ontology.kif 17151-17151 弹道式导弹导弹subclass
(subclass DragonWeapon Missile) MilitaryDevices.kif 670-670 龙武器导弹subclass
(subclass GroundAttackMissile Missile) MilitaryDevices.kif 992-992 地面攻击导弹导弹subclass
(subclass GroundLaunchMissile Missile) MilitaryDevices.kif 957-957 地面发射导弹导弹subclass
(subclass GuidedMissile Missile) MilitaryDevices.kif 1015-1015 导弹导弹subclass
(subclass JavelinWeapon Missile) MilitaryDevices.kif 720-720 标枪武器导弹subclass
(subclass SMAWBunkerBuster Missile) MilitaryDevices.kif 780-780 SMAW掩体破坏者导弹subclass
(termFormat ChineseLanguage Missile "导弹") domainEnglishFormat.kif 38016-38016
(termFormat ChineseTraditionalLanguage Missile "導彈") domainEnglishFormat.kif 38015-38015
(termFormat EnglishLanguage Missile "missile") domainEnglishFormat.kif 38014-38014

antecedent
-------------------------


(=>
    (instance ?M Missile)
    (exists (?B)
        (and
            (instance ?B Bomb)
            (part ?B ?M))))
Mid-level-ontology.kif 17144-17149

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