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 17484-17485
(externalImage Flying "http://upload.wikimedia.org/wikipedia/commons/a/af/ Antarctic%2Calbatros_%28js%29_2.jpg") pictureList.kif 6016-6016
(externalImage Flying "http://upload.wikimedia.org/wikipedia/commons/f/f9/ Branta_bernicla_flying%28ThKraft%29.jpg") pictureList.kif 6522-6522
(subclass Flying Translocation) Mid-level-ontology.kif 17483-17483 Flying is a subclass of translocation

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


(termFormat ChineseLanguage Flying "飞行") domainEnglishFormat.kif 24445-24445
(termFormat ChineseTraditionalLanguage Flying "飛行") domainEnglishFormat.kif 24444-24444
(termFormat EnglishLanguage Flying "flying") domainEnglishFormat.kif 24443-24443

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 17487-17492

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 17511-17518
(=>
    (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 17498-17505


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