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 14826-14827
(externalImage TakingOff "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Yellow.balloon.lifts.in.bath.arp.jpg")	pictureList.kif 6914-6914
(externalImage TakingOff "http://upload.wikimedia.org/wikipedia/commons/ 5/ 52/ 050817-N-3488C-028.jpg")	pictureList.kif 8036-8036
(externalImage TakingOff "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ Whizzair.a320-200.lz-wza.leavesground.arp.jpg")	pictureList.kif 8037-8037
(externalImage TakingOff "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ Easyjet.takeoff.closeup.300506.arp.jpg")	pictureList.kif 8038-8038
(subclass TakingOff Translocation)	Mid-level-ontology.kif 14825-14825	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 56771-56771
(termFormat ChineseTraditionalLanguage TakingOff "起飛")	domainEnglishFormat.kif 56770-56770
(termFormat EnglishLanguage TakingOff "taking off")	domainEnglishFormat.kif 56769-56769

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	If an entity is an instance of absolute dud and a process is an instance of taking off and the entity is a patient of the process, then there doesn't exist another process such that the other process is an instance of explosion and the entity is a patient of the other process
(=> (and (instance ?PROCESS TakingOff) (patient ?PROCESS ?DUD) (not (exists (?EXPLOSION) (and (instance ?EXPLOSION Explosion) (patient ?EXPLOSION ?DUD))))) (instance ?DUD AbsoluteDud))	MilitaryDevices.kif 1409-1418	If a process is an instance of taking off and an entity is a patient of the process and there doesn't exist another process such that the other process is an instance of explosion and the entity is a patient of the other process, then the entity is an instance of absolute dud
(=> (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 14829-14836	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 2 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 ?GLM GroundLaunchMissile)
    (not
        (capability TakingOff patient ?GLM)))

MilitaryDevices.kif 963-966

If an object is an instance of ground launch missile,
then the object is not capable of doing taking off as a patient

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: