Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Missile

 Sigma KEE - Missile
Missile(missile)
more pictures...		missile

appearance as argument number 1
-------------------------


(subclass Missile Projectile) Mid-level-ontology.kif 19643-19643 Missile is a subclass of projectile
(subclass Missile SelfPoweredDevice) Mid-level-ontology.kif 19644-19644 Missile is a subclass of self powered device
(documentation Missile EnglishLanguage "A Projectile which is propelled by a rocket and contains a Bomb.") Mid-level-ontology.kif 19645-19646 Missile is a subclass of self powered device
(defaultMinimumLength Missile
    (MeasureFn 24 Inch))		 DimensioningAmenities.kif 989-989 The minimum expected length of missile is 24 inch(s)
(defaultMaximumLength Missile
    (MeasureFn 480 Inch))		 DimensioningAmenities.kif 990-990 The maximum expected length of missile is 480 inch(s)
(defaultMinimumMeasure Missile
    (MeasureFn 50 PoundMass))		 DimensioningAmenities.kif 991-991 The minimum expected value of missile is 50 pound mass(s)
(defaultMaximumMeasure Missile
    (MeasureFn 8000 PoundMass))		 DimensioningAmenities.kif 992-992 The maximum expected value of missile is 8000 pound mass(s)
(externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/6/ 6d/ Asat_missile_20040710_150339_1.4.jpg") pictureList-ImageNet.kif 444-444 The maximum expected value of missile is 8000 pound mass(s)
(externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a1/ Patriot_missile_launch.jpg/ 300px_Patriot_missile_launch.jpg") pictureList-ImageNet.kif 445-445 The maximum expected value of missile is 8000 pound mass(s)
(externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/c/ ca/ Interceptor_Missile.jpg") pictureList-ImageNet.kif 446-446 The maximum expected value of missile is 8000 pound mass(s)
(externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 6c/ Standard_Missile_III_SM-3_RIM-161_test_launch_04017005.jpg/ 400px_Standard_Missile_III_SM-3_RIM-161_test_launch_04017005.jpg") pictureList-ImageNet.kif 447-447 The maximum expected value of missile is 8000 pound mass(s)
(externalImage Missile "http://upload.wikimedia.org/wikipedia/en/thumb/8/ 88/ Spartan_(missile).jpg/ 300px_Spartan_(missile).jpg") pictureList-ImageNet.kif 448-448 The maximum expected value of missile is 8000 pound mass(s)
(externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 7e/ Arrow_anti_ballistic_missile_launch.jpg/ 300px_Arrow_anti_ballistic_missile_launch.jpg") pictureList-ImageNet.kif 449-449 The maximum expected value of missile is 8000 pound mass(s)
(externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 94/ TOW_fired_from_Jeep.jpg/ 250px_TOW_fired_from_Jeep.jpg") pictureList-ImageNet.kif 450-450 The maximum expected value of missile is 8000 pound mass(s)
(externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ USS_Lake_Erie_(CG_70)_missile_test.jpg") pictureList-ImageNet.kif 451-451 The maximum expected value of missile is 8000 pound mass(s)
(externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ aa/ USS_Cape_St._George_(CG_71)_fires_a_tomahawk_missile_in_support_of_OIF.jpg/ 800px_USS_Cape_St._George_(CG_71)_fires_a_tomahawk_missile_in_support_of_OIF.jpg") pictureList-ImageNet.kif 452-452 The maximum expected value of missile is 8000 pound mass(s)
(externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d1/ Redstone_Missile_on_Launch_Pad-5800669.jpg/ 468px_Redstone_Missile_on_Launch_Pad-5800669.jpg") pictureList-ImageNet.kif 453-453 The maximum expected value of missile is 8000 pound mass(s)
(externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e8/ Rapier_missile.JPEG/ 800px_Rapier_missile.JPEG") pictureList-ImageNet.kif 454-454 The maximum expected value of missile is 8000 pound mass(s)
(externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/e/ ee/ Missouri_missile_BGM-109_Tomahawk.JPG") pictureList-ImageNet.kif 455-455 The maximum expected value of missile is 8000 pound mass(s)
(externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/3/ 3e/ K-5M_Air_to_Air_Missile.jpg") pictureList-ImageNet.kif 456-456 The maximum expected value of missile is 8000 pound mass(s)
(externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/f/ f9/ Bat_missile_NAN6-50.jpg") pictureList-ImageNet.kif 457-457 The maximum expected value of missile is 8000 pound mass(s)
(externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/5/ 55/ Tomahawk_Block_IV_cruise_missile.jpg") pictureList-ImageNet.kif 458-458 The maximum expected value of missile is 8000 pound mass(s)
(externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2e/ Sea_Sparrow_surface_to_air_missile_launch.jpg/ 250px_Sea_Sparrow_surface_to_air_missile_launch.jpg") pictureList-ImageNet.kif 459-459 The maximum expected value of missile is 8000 pound mass(s)
(externalImage Missile "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 60/ Minuteman3launch.jpg/ 300px_Minuteman3launch.jpg") pictureList-ImageNet.kif 460-460 The maximum expected value of missile is 8000 pound mass(s)
(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 The maximum expected value of missile is 8000 pound mass(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 2
-------------------------


(subclass BallisticMissile Missile) Mid-level-ontology.kif 19655-19655 Ballistic missile is a subclass of missile
(subclass DragonWeapon Missile) MilitaryDevices.kif 827-827 Dragon weapon is a subclass of missile
(subclass JavelinWeapon Missile) MilitaryDevices.kif 877-877 Javelin weapon is a subclass of missile
(subclass SMAWBunkerBuster Missile) MilitaryDevices.kif 937-937 SMAW bunker buster is a subclass of missile
(subclass AntiTankMissile Missile) MilitaryDevices.kif 1042-1042 Anti tank missile is a subclass of missile
(subclass AirLaunchMissile Missile) MilitaryDevices.kif 1096-1096 Air launch missile is a subclass of missile
(subclass GroundLaunchMissile Missile) MilitaryDevices.kif 1114-1114 Ground launch missile is a subclass of missile
(subclass AirAttackMissile Missile) MilitaryDevices.kif 1126-1126 Air attack missile is a subclass of missile
(subclass GroundAttackMissile Missile) MilitaryDevices.kif 1149-1149 Ground attack missile is a subclass of missile
(subclass GuidedMissile Missile) MilitaryDevices.kif 1172-1172 Guided missile is a subclass of missile
(termFormat EnglishLanguage Missile "missile") domainEnglishFormat.kif 38031-38031 Guided missile is a subclass of missile
(termFormat ChineseTraditionalLanguage Missile "導彈") domainEnglishFormat.kif 38032-38032 Guided missile is a subclass of missile
(termFormat ChineseLanguage Missile "导弹") domainEnglishFormat.kif 38033-38033 Guided missile is a subclass of missile

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


(=>
    (instance ?M Missile)
    (exists (?B)
        (and
            (instance ?B Bomb)
            (part ?B ?M))))		 Mid-level-ontology.kif 19648-19653 If X is an instance of missile, then there exists Y such that Y is an instance of bomb and Y is a part of X

consequent
-------------------------


(=>
    (instance ?W AerialWarfare)
    (hasPurpose ?W
        (exists (?A ?I)
            (and
                (instance ?A Attack)
                (instrument ?A ?I)
                (or
                    (instance ?I MilitaryAircraft)
                    (instance ?I Missile))))))		 Military.kif 401-410 If X is an instance of aerial warfare, then X has the purpose there exist Y, Z such that Y is an instance of attack, Z is an instrument for Y, and Z is an instance of military aircraft or Z is an instance of missile
(=>
    (and
        (instance ?SHOOTING Shooting)
        (instrument ?SHOOTING ?AC)
        (instance ?AC ArtilleryCannon))
    (exists (?PROJ)
        (and
            (instrument ?SHOOTING ?PROJ)
            (or
                (instance ?PROJ Missile)
                (instance ?PROJ Grenade)))))		 MilitaryDevices.kif 336-346 If X is an instance of shooting, Y is an instrument for X, and Y is an instance of artillery cannon, then there exists Z such that Z is an instrument for X and Z is an instance of missile or Z is an instance of grenade


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners