TakingOff - Sigma Knowledge base Browser

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

If a process is an instance of taking off,
then there exist an entity and another process such that the entity is not an instance of atmospheric region and the process is located at the entity holds during the beginning of the time of existence of the process and the other process is a subprocess of the process and the other process is an instance of flying

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	If a physical is an instance of military airport, then the physical has the purpose there exists an entity such that the entity is an instance of military aircraft and taking off capable at location origin for the entity with the physical or landing capable at location destination for the entity with the physical
(=> (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	If a physical is an instance of aircraft carrier, then the physical has the purpose there exist an entity, another entity and the physicalLASS such that the entity is an instance of aircraft and the entity is a patient of the other entity and the other entity is an instance of the physicalLASS and the physical is capable of doing the physicalLASS as a origin and the physicalLASS is a subclass of taking off or the physical is capable of doing the physicalLASS as a destination and the physicalLASS is a subclass of landing

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

KB Term:			Term intersection

English Word: