Landing - Sigma Knowledge base Browser

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

If a process is an instance of landing,
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 the entity holds during the end 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

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: