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 18788-18789
(externalImage TakingOff "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Yellow.balloon.lifts.in.bath.arp.jpg") pictureList.kif 6912-6912
(externalImage TakingOff "http://upload.wikimedia.org/wikipedia/commons/ 5/ 52/ 050817-N-3488C-028.jpg") pictureList.kif 8033-8033
(externalImage TakingOff "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ Whizzair.a320-200.lz_wza.leavesground.arp.jpg") pictureList.kif 8034-8034
(externalImage TakingOff "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ Easyjet.takeoff.closeup.300506.arp.jpg") pictureList.kif 8035-8035
(subclass TakingOff Translocation) Mid-level-ontology.kif 18787-18787 Taking off is a subclass of translocation

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


(range AbortedLaunchFn TakingOff) MilitaryProcesses.kif 2512-2512 The range of aborted launch is an instance of taking off
(termFormat ChineseLanguage TakingOff "起飞") domainEnglishFormat.kif 56861-56861 The range of aborted launch is an instance of taking off
(termFormat ChineseTraditionalLanguage TakingOff "起飛") domainEnglishFormat.kif 56860-56860 The range of aborted launch is an instance of taking off
(termFormat EnglishLanguage TakingOff "taking off") domainEnglishFormat.kif 56859-56859 The range of aborted launch is an instance of taking off

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


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

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


(=>
    (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 18791-18798

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


(=>
    (instance ?A MilitaryAirport)
    (hasPurpose ?A
        (exists (?M)
            (and
                (instance ?M MilitaryAircraft)
                (or
                    (capableAtLocation TakingOff origin ?M ?A)
                    (capableAtLocation Landing destination ?M ?A))))))
MilitaryProcesses.kif 2773-2781
(=>
    (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 2639-2653


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



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