Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Landing

 Sigma KEE - Landing
Landing(landing)
GCA, aircraft_landing, airplane_landing, crash_land, crash_landing, ditch, emergency_landing, force-land, forced_landing, ground-controlled_approach, instrument_landing, land, landing_approach, port, set_down, splashdown, three-point_landing, touch_down, touchdown, undershoot

appearance as argument number 1
-------------------------


(subclass Landing Translocation) Mid-level-ontology.kif 19009-19009 Landing is a subclass of translocation
(documentation Landing EnglishLanguage "Any instance of Translocation which ends up on something other than an AtmosphericRegion and which has an instance of Flying as a subProcess.") Mid-level-ontology.kif 19010-19011 Landing is a subclass of translocation
(externalImage Landing "http://upload.wikimedia.org/wikipedia/commons/9/ 95/ Landing_airplane.jpg") pictureList.kif 4760-4760 Landing is a subclass of translocation

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


(termFormat EnglishLanguage Landing "landing") domainEnglishFormat.kif 33225-33225
(termFormat ChineseTraditionalLanguage Landing "降落") domainEnglishFormat.kif 33226-33226
(termFormat ChineseLanguage Landing "降落") domainEnglishFormat.kif 33227-33227

antecedent
-------------------------


(=>
    (instance ?LAND Landing)
    (exists (?REGION ?FLYING)
        (and
            (not
                (instance ?REGION AtmosphericRegion))
            (holdsDuring
                (EndFn
                    (WhenFn ?LAND))
                (eventLocated ?LAND ?REGION))
            (subProcess ?FLYING ?LAND)
            (instance ?FLYING Flying))))		 Mid-level-ontology.kif 19013-19020 If X is an instance of landing, then there exist Y, Z such that Y is not an instance of atmospheric region, X is located at Y holds during the end of the time of existence of X, Z is a subprocess of X, and Z is an instance of flying
(=>
    (and
        (instance ?P Pair)
        (part ?P ?F)
        (instance ?F Airplane)
        (memberType ?P Aileron)
        (member ?LA ?P)
        (instance ?M1 Motion)
        (moves ?M1 ?LA)
        (direction ?M1 ?DIR1)
        (member ?RA ?P)
        (instance ?M2 Motion)
        (not
            (equal ?M1 ?M2))
        (moves ?M2 ?RA)
        (direction ?M2 ?DIR2)
        (not
            (exists (?L)
                (and
                    (instance ?L Landing)
                    (patient ?L ?F)))))
    (oppositeDirection ?DIR1 ?DIR2))		 Transportation.kif 3416-3437 If All of the following hold: (1) X is an instance of pair (2) X is a part of Y (3) Y is an instance of airplane (4) aileron is a member type of X (5) Z is a member of X (6) W is an instance of motion (7) Z moves during W (8) entities in the process W are moving V (9) U is a member of X (10) T is an instance of motion (11) equal W and T (12) U moves during T (13) entities in the process T are moving S (14) there doesn't exist R such that R is an instance of landing and Y is a patient of R, then S is an opposite direction of V

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 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners