TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Missile EnglishLanguage "A Projectile which is propelled by a rocket and contains a Bomb.")	Mid-level-ontology.kif 19262-19263
(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 1126-1126	Air attack missile is a subclass of missile
(subclass AirLaunchMissile Missile)	MilitaryDevices.kif 1096-1096	Air launch missile is a subclass of missile
(subclass AntiTankMissile Missile)	MilitaryDevices.kif 1042-1042	Anti tank missile is a subclass of missile
(subclass BallisticMissile Missile)	Mid-level-ontology.kif 19272-19272	Ballistic missile is a subclass of missile
(subclass DragonWeapon Missile)	MilitaryDevices.kif 827-827	Dragon weapon is a subclass of missile
(subclass GroundAttackMissile Missile)	MilitaryDevices.kif 1149-1149	Ground attack missile is a subclass of missile
(subclass GroundLaunchMissile Missile)	MilitaryDevices.kif 1114-1114	Ground launch missile is a subclass of missile
(subclass GuidedMissile Missile)	MilitaryDevices.kif 1172-1172	Guided missile 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
(termFormat ChineseLanguage Missile "导弹")	domainEnglishFormat.kif 38039-38039	SMAW bunker buster is a subclass of missile
(termFormat ChineseTraditionalLanguage Missile "導彈")	domainEnglishFormat.kif 38038-38038	SMAW bunker buster is a subclass of missile
(termFormat EnglishLanguage Missile "missile")	domainEnglishFormat.kif 38037-38037	SMAW bunker buster is a subclass of missile

antecedent

(=>
    (instance ?M Missile)
    (exists (?B)
        (and
            (instance ?B Bomb)
            (part ?B ?M))))

Mid-level-ontology.kif 19265-19270

If an object is an instance of missile,
then there exists another object such that the other object is an instance of bomb and the other object is a part of the object

consequent

(=>
    (and
        (instance ?SHOOTING Shooting)
        (instrument ?SHOOTING ?AC)
        (instance ?AC ArtilleryCannon))
    (exists (?PROJ)
        (and
            (instrument ?SHOOTING ?PROJ)
            (instance ?PROJ
                (UnionFn Missile Grenade)))))

MilitaryDevices.kif 336-345

If a process is an instance of shooting and an object is an instrument for the process and the object is an instance of artillery cannon,
then there exists another object such that the other object is an instrument for the process and the other object is an instance of the union of missile and 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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: