| appearance as argument number 1 |
|
| (documentation AirLaunchMissile EnglishLanguage "A missile launched from the air.") | MilitaryDevices.kif 940-940 | |
| (subclass AirLaunchMissile Missile) | MilitaryDevices.kif 939-939 |
| appearance as argument number 2 |
|
|
| (subclass AAM AirLaunchMissile) | MilitaryDevices.kif 1169-1169 | |
| (subclass AGM AirLaunchMissile) | MilitaryDevices.kif 1123-1123 | |
| (termFormat ChineseLanguage AirLaunchMissile "空中发射导弹") | domainEnglishFormat.kif 6165-6165 | |
| (termFormat ChineseTraditionalLanguage AirLaunchMissile "空中發射導彈") | domainEnglishFormat.kif 6164-6164 | |
| (termFormat EnglishLanguage AirLaunchMissile "air launch missile") | domainEnglishFormat.kif 6163-6163 | |
| (termFormat EnglishLanguage AirLaunchMissile "air launched missile") | MilitaryDevices.kif 2061-2061 |
| antecedent |
|
|
| (=> (and (instance ?FLYING Flying) (patient ?FLYING ?ALM) (instance ?ALM AirLaunchMissile)) (exists (?REGION) (and (instance ?REGION AtmosphericRegion) (holdsDuring (BeginFn (WhenFn ?FLYING)) (located ?ALM ?REGION))))) |
MilitaryDevices.kif 944-955 |
|
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