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

appearance as argument number 2

(termFormat ChineseLanguage Landing "降落")	domainEnglishFormat.kif 33251-33251
(termFormat ChineseTraditionalLanguage Landing "降落")	domainEnglishFormat.kif 33250-33250
(termFormat EnglishLanguage Landing "landing")	domainEnglishFormat.kif 33249-33249

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

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

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 2773-2781	If a physical is an instance of military airport, then the physical has the purpose there exists an entity such that the entity is an instance of military aircraft and taking off capable at location origin for the entity with the physical or landing capable at location destination for the entity with the physical
(=> (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 ?C)))))))	Transportation.kif 2639-2653	If a physical is an instance of aircraft carrier, then the physical has the purpose there exist an entity, another entity and the physicalLASS such that the entity is an instance of aircraft and the entity is a patient of the other entity and the other entity is an instance of the physicalLASS and the physical is capable of doing the physicalLASS as a origin and the physicalLASS is a subclass of taking off or the physical is capable of doing the physicalLASS as a destination and the physicalLASS 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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: