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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - GroundLaunchMissile
GroundLaunchMissile(ground launch missile)

appearance as argument number 1

(documentation GroundLaunchMissile EnglishLanguage "A missile launched from the ground.") MilitaryDevices.kif 959-959
(subclass GroundLaunchMissile Missile) MilitaryDevices.kif 957-957 Ground launch missile is a subclass of missile

appearance as argument number 2

(termFormat ChineseLanguage GroundLaunchMissile "地面发射导弹") domainEnglishFormat.kif 26700-26700
(termFormat ChineseTraditionalLanguage GroundLaunchMissile "地面發射導彈") domainEnglishFormat.kif 26699-26699
(termFormat EnglishLanguage GroundLaunchMissile "ground launch missile") domainEnglishFormat.kif 26698-26698
(termFormat EnglishLanguage GroundLaunchMissile "ground launched missile") MilitaryDevices.kif 2062-2062


    (instance ?GLM GroundLaunchMissile)
        (capability TakingOff patient ?GLM)))
MilitaryDevices.kif 963-966

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