| TakingOff
| |
| 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 17527-17528 | |
| (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 17526-17526 |
| appearance as argument number 2 |
|
|
| (range AbortedLaunchFn TakingOff) | MilitaryProcesses.kif 2530-2530 | |
| (termFormat ChineseLanguage TakingOff "起飞") | domainEnglishFormat.kif 56892-56892 | |
| (termFormat ChineseTraditionalLanguage TakingOff "起飛") | domainEnglishFormat.kif 56891-56891 | |
| (termFormat EnglishLanguage TakingOff "taking off") | domainEnglishFormat.kif 56890-56890 |
| appearance as argument number 3 |
|
|
| (domain AbortedLaunchFn 2 TakingOff) | MilitaryProcesses.kif 2529-2529 |
| 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 17530-17537 |
| 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 2790-2798 | |
| (=> (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 2636-2650 | |
| (=> (instance ?GLM GroundLaunchMissile) (not (capability TakingOff patient ?GLM))) |
MilitaryDevices.kif 963-966 |
|
|
|