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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14826-14827
(externalImage TakingOff "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Yellow.balloon.lifts.in.bath.arp.jpg") pictureList.kif 6914-6914
(externalImage TakingOff "http://upload.wikimedia.org/wikipedia/commons/ 5/ 52/ 050817-N-3488C-028.jpg") pictureList.kif 8036-8036
(externalImage TakingOff "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ Whizzair.a320-200.lz-wza.leavesground.arp.jpg") pictureList.kif 8037-8037
(externalImage TakingOff "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ Easyjet.takeoff.closeup.300506.arp.jpg") pictureList.kif 8038-8038
(subclass TakingOff Translocation) Mid-level-ontology.kif 14825-14825 Taking off is a subclass of translocation

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


(range AbortedLaunchFn TakingOff) MilitaryProcesses.kif 2458-2458 The range of aborted launch is an instance of taking off
(termFormat ChineseLanguage TakingOff "起飞") domainEnglishFormat.kif 56771-56771
(termFormat ChineseTraditionalLanguage TakingOff "起飛") domainEnglishFormat.kif 56770-56770
(termFormat EnglishLanguage TakingOff "taking off") domainEnglishFormat.kif 56769-56769

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


(domain AbortedLaunchFn 2 TakingOff) MilitaryProcesses.kif 2457-2457 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 14829-14836