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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Flying
Flying(flying)
flat-hat, flight, flutter, fly, fly_on, hedgehop, in_flight, inside_loop, on_the_wing, outside_loop, rack, soar, spin, tailspin, trim, wing

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


(documentation Flying EnglishLanguage "Any instance of Translocation which is through an AtmosphericRegion.") Mid-level-ontology.kif 17226-17227
(externalImage Flying "http://upload.wikimedia.org/wikipedia/commons/a/af/ Antarctic%2Calbatros_%28js%29_2.jpg") pictureList.kif 6017-6017
(externalImage Flying "http://upload.wikimedia.org/wikipedia/commons/f/f9/ Branta_bernicla_flying%28ThKraft%29.jpg") pictureList.kif 6523-6523
(subclass Flying Translocation) Mid-level-ontology.kif 17225-17225 Flying is a subclass of translocation

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


(termFormat ChineseLanguage Flying "飞行") domainEnglishFormat.kif 24428-24428
(termFormat ChineseTraditionalLanguage Flying "飛行") domainEnglishFormat.kif 24427-24427
(termFormat EnglishLanguage Flying "flying") domainEnglishFormat.kif 24426-24426

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
(=>
    (and
        (instance ?M GuidedMissile)
        (instance ?FLYING Flying)
        (patient ?FLYING ?M))
    (exists (?GUIDING)
        (and
            (instance ?GUIDING Guiding)
            (patient ?GUIDING ?FLYING)
            (agent ?GUIDING ?M)
            (during
                (WhenFn ?GUIDING)
                (WhenFn ?FLYING)))))
MilitaryDevices.kif 1051-1063
(=>
    (instance ?FLY Flying)
    (exists (?REGION)
        (and
            (instance ?REGION AtmosphericRegion)
            (eventLocated ?FLY ?REGION))))
Mid-level-ontology.kif 17229-17234

consequent
-------------------------


(=>
    (instance ?LAND Landing)
    (exists (?REGION ?FLYING)
        (and
            (not
                (instance ?REGION AtmosphericRegion))
            (holdsDuring
                (EndFn
                    (WhenFn ?LAND))
                (eventLocated ?LAND ?REGION))
            (subProcess ?FLYING ?LAND)
            (instance ?FLYING Flying))))
Mid-level-ontology.kif 17253-17260
(=>
    (instance ?OFF TakingOff)
    (exists (?REGION ?FLYING)
        (and
            (not
                (instance ?REGION AtmosphericRegion))
            (holdsDuring
                (BeginFn
                    (WhenFn ?OFF))
                (eventLocated ?OFF ?REGION))
            (subProcess ?FLYING ?OFF)
            (instance ?FLYING Flying))))
Mid-level-ontology.kif 17240-17247


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