![]() |
![]() ![]() ![]()
|
![]() |
|
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 17540-17541 | |
(externalImage Landing "http://upload.wikimedia.org/wikipedia/commons/9/ 95/ Landing_airplane.jpg") | pictureList.kif 4760-4760 | |
(subclass Landing Translocation) | Mid-level-ontology.kif 17539-17539 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Landing "降落") | domainEnglishFormat.kif 33252-33252 | |
(termFormat ChineseTraditionalLanguage Landing "降落") | domainEnglishFormat.kif 33251-33251 | |
(termFormat EnglishLanguage Landing "landing") | domainEnglishFormat.kif 33250-33250 |
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 17543-17550 |
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 2790-2798 | |
(=> (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 2636-2650 |
![]() |
![]() |