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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TakingOff

Sigma KEE - TakingOff
TakingOff

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


(documentation TakingOff EnglishLanguage "Any instance of Translocation which starts on something other than an AtmosphericRegion and which has an instance of Flying as a subProcess.") Mid-level-ontology.kif 17264-17265
(externalImage TakingOff "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Yellow.balloon.lifts.in.bath.arp.jpg") pictureList.kif 6913-6913
(externalImage TakingOff "http://upload.wikimedia.org/wikipedia/commons/ 5/ 52/ 050817-N-3488C-028.jpg") pictureList.kif 8034-8034
(externalImage TakingOff "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ Whizzair.a320-200.lz-wza.leavesground.arp.jpg") pictureList.kif 8035-8035
(externalImage TakingOff "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ Easyjet.takeoff.closeup.300506.arp.jpg") pictureList.kif 8036-8036
(subclass TakingOff Translocation) Mid-level-ontology.kif 17263-17263

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


(range AbortedLaunchFn TakingOff) MilitaryProcesses.kif 2478-2478
(termFormat ChineseLanguage TakingOff "起飞") domainEnglishFormat.kif 56859-56859
(termFormat ChineseTraditionalLanguage TakingOff "起飛") domainEnglishFormat.kif 56858-56858
(termFormat EnglishLanguage TakingOff "taking off") domainEnglishFormat.kif 56857-56857

appearance as argument number 3
-------------------------


(domain AbortedLaunchFn 2 TakingOff) MilitaryProcesses.kif 2477-2477

antecedent
-------------------------


(=>
    (and
        (instance ?DUD AbsoluteDud)
        (instance ?PROCESS TakingOff)
        (patient ?PROCESS ?DUD))
    (not
        (exists (?EXPLOSION)
            (and
                (instance ?EXPLOSION Explosion)
                (patient ?EXPLOSION ?DUD)))))
MilitaryDevices.kif 1398-1407
(=>
    (and
        (instance ?PROCESS TakingOff)
        (patient ?PROCESS ?DUD)
        (not
            (exists (?EXPLOSION)
                (and
                    (instance ?EXPLOSION Explosion)
                    (patient ?EXPLOSION ?DUD)))))
    (instance ?DUD AbsoluteDud))
MilitaryDevices.kif 1409-1418
(=>
    (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

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


(=>
    (instance ?C AircraftCarrier)
    (hasPurpose ?C
        (exists (?A ?T ?CLASS)
            (and
                (instance ?A AirCraft)
                (patient ?T ?A)
                (instance ?T ?CLASS)
                (or
                    (and
                        (capability ?CLASS origin ?C)
                        (subclass ?CLASS TakingOff))
                    (and
                        (capability ?CLASS destination ?C)
                        (subclass ?CLASS Landing ?C)))))))
Transportation.kif 2467-2481
(=>
    (instance ?GLM GroundLaunchMissile)
    (not
        (capability TakingOff patient ?GLM)))
MilitaryDevices.kif 963-966


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