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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ProjectileLauncher
ProjectileLauncher(projectile launcher)
whaling_gun

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


(documentation ProjectileLauncher EnglishLanguage "A Weapon that shoots a Projectile.") Mid-level-ontology.kif 1198-1198
(externalImage ProjectileLauncher "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 1/ 1d/ Bazookas_Korea.jpg/ 300px_Bazookas_Korea.jpg") pictureList.kif 1308-1308
(subclass ProjectileLauncher Weapon) Mid-level-ontology.kif 1197-1197 Projectile launcher is a subclass of weapon

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


(subclass Gun ProjectileLauncher) Mid-level-ontology.kif 1227-1227 Gun is a subclass of projectile launcher
(termFormat ChineseLanguage ProjectileLauncher "抛射物发射器") domainEnglishFormat.kif 47668-47668 Gun is a subclass of projectile launcher
(termFormat ChineseTraditionalLanguage ProjectileLauncher "拋射物發射器") domainEnglishFormat.kif 47667-47667 Gun is a subclass of projectile launcher
(termFormat EnglishLanguage ProjectileLauncher "projectile launcher") domainEnglishFormat.kif 47666-47666 Gun is a subclass of projectile launcher

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


(=>
    (instance ?L ProjectileLauncher)
    (capability Shooting instrument ?L))
Mid-level-ontology.kif 1200-1202

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


(=>
    (and
        (instance ?L LoadingWeapon)
        (destination ?L ?W))
    (instance ?W ProjectileLauncher))
Mid-level-ontology.kif 1595-1599
(=>
    (instance ?S Shooting)
    (exists (?P ?L)
        (and
            (instance ?P Projectile)
            (patient ?S ?P)
            (instance ?L ProjectileLauncher)
            (instrument ?S ?L))))
Mid-level-ontology.kif 1204-1211


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