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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Flying

 Sigma KEE - Flying
Flying

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


(documentation Flying EnglishLanguage "Any instance of Translocation which is through an AtmosphericRegion.") Mid-level-ontology.kif 17253-17254
(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 17252-17252 Flying est une sous-classe de 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 17256-17261

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 17280-17287
(=>
    (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 17267-17274


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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