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


KB Term:  Term intersection
English Word: 

Sigma KEE - AirLaunchMissile
AirLaunchMissile(air launch missile)

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


(subclass AirLaunchMissile Missile) MilitaryDevices.kif 1096-1096 Air launch missile is a subclass of missile
(documentation AirLaunchMissile EnglishLanguage "A missile launched from the air.") MilitaryDevices.kif 1097-1097 Air launch missile is a subclass of missile

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


(subclass AGM AirLaunchMissile) MilitaryDevices.kif 1280-1280 AG m is a subclass of air launch missile
(subclass AAM AirLaunchMissile) MilitaryDevices.kif 1326-1326 Air-to-air missile is a subclass of air launch missile
(termFormat EnglishLanguage AirLaunchMissile "air launched missile") MilitaryDevices.kif 2218-2218 Air-to-air missile is a subclass of air launch missile
(termFormat EnglishLanguage AirLaunchMissile "air launch missile") domainEnglishFormat.kif 6157-6157 Air-to-air missile is a subclass of air launch missile
(termFormat ChineseTraditionalLanguage AirLaunchMissile "空中發射導彈") domainEnglishFormat.kif 6158-6158 Air-to-air missile is a subclass of air launch missile
(termFormat ChineseLanguage AirLaunchMissile "空中发射导弹") domainEnglishFormat.kif 6159-6159 Air-to-air missile is a subclass of air launch missile

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 1101-1112 If X is an instance of flying, Y is a patient of X, and Y is an instance of air launch missile, then there exists Z such that Z is an instance of atmospheric region and Y is located at Z holds during the beginning of the time of existence of X


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