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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ProjectileLauncher
ProjectileLauncher(抛射物发射器)

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


(documentation ProjectileLauncher EnglishLanguage "A Weapon that shoots a Projectile.") Mid-level-ontology.kif 1070-1070
(externalImage ProjectileLauncher "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 1/ 1d/ Bazookas_Korea.jpg/ 300px-Bazookas_Korea.jpg") pictureList.kif 1309-1309
(subclass ProjectileLauncher Weapon) Mid-level-ontology.kif 1069-1069 抛射物发射器武器subclass

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


(subclass Gun ProjectileLauncher) Mid-level-ontology.kif 1099-1099 抛射物发射器subclass
(termFormat ChineseLanguage ProjectileLauncher "抛射物发射器") domainEnglishFormat.kif 47648-47648
(termFormat ChineseTraditionalLanguage ProjectileLauncher "拋射物發射器") domainEnglishFormat.kif 47647-47647
(termFormat EnglishLanguage ProjectileLauncher "projectile launcher") domainEnglishFormat.kif 47646-47646

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


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

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


(=>
    (and
        (instance ?L LoadingWeapon)
        (destination ?L ?W))
    (instance ?W ProjectileLauncher))
Mid-level-ontology.kif 1317-1321
(=>
    (instance ?S Shooting)
    (exists (?P ?L)
        (and
            (instance ?P Projectile)
            (patient ?S ?P)
            (instance ?L ProjectileLauncher)
            (instrument ?S ?L))))
Mid-level-ontology.kif 1076-1083


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