Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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
-------------------------


(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 17250-17251
(externalImage Landing "http://upload.wikimedia.org/wikipedia/commons/9/ 95/ Landing_airplane.jpg") pictureList.kif 4761-4761
(subclass Landing Translocation) Mid-level-ontology.kif 17249-17249 Landing is a subclass of translocation

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


(termFormat ChineseLanguage Landing "降落") domainEnglishFormat.kif 33223-33223
(termFormat ChineseTraditionalLanguage Landing "降落") domainEnglishFormat.kif 33222-33222
(termFormat EnglishLanguage Landing "landing") domainEnglishFormat.kif 33221-33221

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 17253-17260


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