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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GroundLaunchMissile
GroundLaunchMissile

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 GroundLaunchMissileMissilesubclass では %n

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


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

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


(=>
    (instance ?GLM GroundLaunchMissile)
    (not
        (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