Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


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

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


(range AbortedLaunchFn TakingOff) MilitaryProcesses.kif 2553-2553 The range of aborted launch is an instance of taking off
(termFormat EnglishLanguage TakingOff "taking off") domainEnglishFormat.kif 56852-56852 The range of aborted launch is an instance of taking off
(termFormat ChineseTraditionalLanguage TakingOff "起飛") domainEnglishFormat.kif 56853-56853 The range of aborted launch is an instance of taking off
(termFormat ChineseLanguage TakingOff "起飞") domainEnglishFormat.kif 56854-56854 The range of aborted launch is an instance of taking off

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


(domain AbortedLaunchFn 2 TakingOff) MilitaryProcesses.kif 2552-2552 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 19000-19007 If X is an instance of taking off, then there exist Y, Z such that Y is not an instance of atmospheric region, X is located at Y holds during the beginning of the time of existence of X, Z is a subprocess of X, and Z is an instance of flying
(=>
    (and
        (instance ?DUD AbsoluteDud)
        (instance ?PROCESS TakingOff)
        (patient ?PROCESS ?DUD))
    (not
        (exists (?EXPLOSION)
            (and
                (instance ?EXPLOSION Explosion)
                (patient ?EXPLOSION ?DUD)))))		 MilitaryDevices.kif 1555-1564 If X is an instance of absolute dud, Y is an instance of taking off, and X is a patient of Y, then there doesn't exist Z such that Z is an instance of explosion and X is a patient of Z
(=>
    (and
        (instance ?PROCESS TakingOff)
        (patient ?PROCESS ?DUD)
        (not
            (exists (?EXPLOSION)
                (and
                    (instance ?EXPLOSION Explosion)
                    (patient ?EXPLOSION ?DUD)))))
    (instance ?DUD AbsoluteDud))		 MilitaryDevices.kif 1566-1575 If X is an instance of taking off, Y is a patient of X, and there doesn't exist Z such that Z is an instance of explosion and Y is a patient of Z, then Y is an instance of absolute dud

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


(=>
    (instance ?GLM GroundLaunchMissile)
    (not
        (capability TakingOff patient ?GLM)))		 MilitaryDevices.kif 1120-1123 If X is an instance of ground launch missile, then X is not capable of doing taking off as a patient
(=>
    (instance ?A MilitaryAirport)
    (hasPurpose ?A
        (exists (?M)
            (and
                (instance ?M MilitaryAircraft)
                (or
                    (capableAtLocation TakingOff origin ?M ?A)
                    (capableAtLocation Landing destination ?M ?A))))))		 MilitaryProcesses.kif 2814-2822 If X is an instance of military airport, then X has the purpose there exists Y such that Y is an instance of military aircraft and taking off capable at location origin for Y with X or landing capable at location destination for Y with X
(=>
    (instance ?RW Runway)
    (hasPurpose ?RW
        (exists (?A ?T)
            (and
                (instance ?A Aircraft)
                (patient ?T ?A)
                (or
                    (and
                        (origin ?T ?RW)
                        (instance ?T TakingOff))
                    (and
                        (destination ?T ?RW)
                        (instance ?T Landing)))))))		 Transportation.kif 1385-1398 If X is an instance of runway, then X has the purpose there exist Y, Z such that Y is an instance of aircraft, Y is a patient of Z, Z originates at X, Z is an instance of taking off or Z ends up at X, and Z is an instance of landing
(=>
    (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)))))))		 Transportation.kif 2649-2663 If X is an instance of aircraft carrier, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of aircraft (3) Y is a patient of Z (4) Z is an instance of W (5) X is capable of doing W as a origin (6) W is a subclass of taking off or X is capable of doing W as a destination (7) W 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners