|
|
   Landing
|
|
|
| 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 17277-17278 | |
| (externalImage Landing "http://upload.wikimedia.org/wikipedia/commons/9/ 95/ Landing_airplane.jpg") | pictureList.kif 4761-4761 | |
| (subclass Landing Translocation) | Mid-level-ontology.kif 17276-17276 | Landing est une sous-classe de 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 17280-17287 |
| consequent |
|
|
| (=> (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 2467-2481 |
|
|
|
|
