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 |
![]() |
![]() |
![]() |