| 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 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage GroundLaunchMissile "地面发射导弹") | domainEnglishFormat.kif 26723-26723 | |
| (termFormat ChineseTraditionalLanguage GroundLaunchMissile "地面發射導彈") | domainEnglishFormat.kif 26722-26722 | |
| (termFormat EnglishLanguage GroundLaunchMissile "ground launch missile") | domainEnglishFormat.kif 26721-26721 | |
| (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