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, taking_off, 起飛, 起飞

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 14800-14801
(externalImage TakingOff "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Yellow.balloon.lifts.in.bath.arp.jpg") pictureList.kif 6914-6914 "http://upload.wikimedia.org/wikipedia/commons/3/3a/ Yellow.balloon.lifts.in.bath.arp.jpg" is a URL depicting taking off
(externalImage TakingOff "http://upload.wikimedia.org/wikipedia/commons/ 5/ 52/ 050817-N-3488C-028.jpg") pictureList.kif 8036-8036 "http://upload.wikimedia.org/wikipedia/commons/5/52/ 050817-N-3488C-028.jpg" is a URL depicting taking off
(externalImage TakingOff "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ Whizzair.a320-200.lz-wza.leavesground.arp.jpg") pictureList.kif 8037-8037 "http://upload.wikimedia.org/wikipedia/commons/6/69/ Whizzair.a320-200.lz-wza.leavesground.arp.jpg" is a URL depicting taking off
(externalImage TakingOff "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ Easyjet.takeoff.closeup.300506.arp.jpg") pictureList.kif 8038-8038 "http://upload.wikimedia.org/wikipedia/commons/9/9e/ Easyjet.takeoff.closeup.300506.arp.jpg" is a URL depicting taking off
(subclass TakingOff Translocation) Mid-level-ontology.kif 14799-14799 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 56803-56803 "起飞" is the printable form of taking off in ChineseLanguage
(termFormat ChineseTraditionalLanguage TakingOff "起飛") domainEnglishFormat.kif 56802-56802 "起飛" is the printable form of taking off in ChineseTraditionalLanguage
(termFormat EnglishLanguage TakingOff "taking off") domainEnglishFormat.kif 56801-56801 "taking off" is the printable form of taking off in english language

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 14803-14810