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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ProjectileLauncher
ProjectileLauncher(projectile launcher)
projectile_launcher, whaling_gun, 抛射物发射器, 拋射物發射器

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


(documentation ProjectileLauncher EnglishLanguage "A Weapon that shoots a Projectile.") Mid-level-ontology.kif 1516-1516
(externalImage ProjectileLauncher "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 1/ 1d/ Bazookas_Korea.jpg/ 300px-Bazookas_Korea.jpg") pictureList.kif 1309-1309 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1d/ Bazookas_Korea.jpg/ 300px-Bazookas_Korea.jpg" is a URL depicting projectile launcher
(subclass ProjectileLauncher Weapon) Mid-level-ontology.kif 1515-1515 Projectile launcher is a subclass of weapon

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


(subclass Gun ProjectileLauncher) Mid-level-ontology.kif 1545-1545 Gun is a subclass of projectile launcher
(termFormat ChineseLanguage ProjectileLauncher "抛射物发射器") domainEnglishFormat.kif 47605-47605 "抛射物发射器" is the printable form of projectile launcher in ChineseLanguage
(termFormat ChineseTraditionalLanguage ProjectileLauncher "拋射物發射器") domainEnglishFormat.kif 47604-47604 "拋射物發射器" is the printable form of projectile launcher in ChineseTraditionalLanguage
(termFormat EnglishLanguage ProjectileLauncher "projectile launcher") domainEnglishFormat.kif 47603-47603 "projectile launcher" is the printable form of projectile launcher in english language

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


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

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


(=>
    (and
        (instance ?L LoadingWeapon)
        (destination ?L ?W))
    (instance ?W ProjectileLauncher))
Mid-level-ontology.kif 1757-1761
(=>
    (instance ?S Shooting)
    (exists (?P ?L)
        (and
            (instance ?P Projectile)
            (patient ?S ?P)
            (instance ?L ProjectileLauncher)
            (instrument ?S ?L))))
Mid-level-ontology.kif 1522-1529


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners