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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ProjectileLauncher

Sigma KEE - ProjectileLauncher
ProjectileLauncher

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


(documentation ProjectileLauncher EnglishLanguage "A Weapon that shoots a Projectile.") Mid-level-ontology.kif 1132-1132
(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 1131-1131 ProjectileLauncher武器subclass では %n

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


(subclass Gun ProjectileLauncher) Mid-level-ontology.kif 1161-1161 GunProjectileLaunchersubclass では %n
(termFormat ChineseLanguage ProjectileLauncher "抛射物发射器") domainEnglishFormat.kif 47666-47666
(termFormat ChineseTraditionalLanguage ProjectileLauncher "拋射物發射器") domainEnglishFormat.kif 47665-47665
(termFormat EnglishLanguage ProjectileLauncher "projectile launcher") domainEnglishFormat.kif 47664-47664

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


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

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


(=>
    (and
        (instance ?L LoadingWeapon)
        (destination ?L ?W))
    (instance ?W ProjectileLauncher))
Mid-level-ontology.kif 1378-1382
(=>
    (instance ?S Shooting)
    (exists (?P ?L)
        (and
            (instance ?P Projectile)
            (patient ?S ?P)
            (instance ?L ProjectileLauncher)
            (instrument ?S ?L))))
Mid-level-ontology.kif 1138-1145


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