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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TakingOff

Sigma KEE - TakingOff
TakingOff(taking off)
lift_off, liftoff, take_off, takeoff

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 17237-17238
(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 17236-17236 Taking off is a subclass of translocation

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


(range AbortedLaunchFn TakingOff) MilitaryProcesses.kif 2478-2478 The range of aborted launch is an instance of taking off
(termFormat ChineseLanguage TakingOff "起飞") domainEnglishFormat.kif 56857-56857
(termFormat ChineseTraditionalLanguage TakingOff "起飛") domainEnglishFormat.kif 56856-56856
(termFormat EnglishLanguage TakingOff "taking off") domainEnglishFormat.kif 56855-56855

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


(domain AbortedLaunchFn 2 TakingOff) MilitaryProcesses.kif 2477-2477 The number 2 argument of aborted launch is an instance of taking off

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 17240-17247