| Flying
| |
| appearance as argument number 1 |
|
|
| (documentation Flying EnglishLanguage "Any instance of Translocation which is through an AtmosphericRegion.") | Mid-level-ontology.kif 18777-18778 | |
| (externalImage Flying "http://upload.wikimedia.org/wikipedia/commons/a/af/ Antarctic%2Calbatros_%28js%29_2.jpg") | pictureList.kif 6016-6016 | |
| (externalImage Flying "http://upload.wikimedia.org/wikipedia/commons/f/f9/ Branta_bernicla_flying%28ThKraft%29.jpg") | pictureList.kif 6522-6522 | |
| (subclass Flying Translocation) | Mid-level-ontology.kif 18776-18776 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Flying "飞行") | domainEnglishFormat.kif 24433-24433 | |
| (termFormat ChineseTraditionalLanguage Flying "飛行") | domainEnglishFormat.kif 24432-24432 | |
| (termFormat EnglishLanguage Flying "flying") | domainEnglishFormat.kif 24431-24431 |
| antecedent |
|
|
| (=> (and (instance ?FLYING Flying) (patient ?FLYING ?ALM) (instance ?ALM AirLaunchMissile)) (exists (?REGION) (and (instance ?REGION AtmosphericRegion) (holdsDuring (BeginFn (WhenFn ?FLYING)) (located ?ALM ?REGION))))) |
MilitaryDevices.kif 1101-1112 | |
| (=> (and (instance ?M GuidedMissile) (instance ?FLYING Flying) (patient ?FLYING ?M)) (exists (?GUIDING) (and (instance ?GUIDING Guiding) (patient ?GUIDING ?FLYING) (agent ?GUIDING ?M) (during (WhenFn ?GUIDING) (WhenFn ?FLYING))))) |
MilitaryDevices.kif 1208-1220 | |
| (=> (instance ?FLY Flying) (exists (?REGION) (and (instance ?REGION AtmosphericRegion) (eventLocated ?FLY ?REGION)))) |
Mid-level-ontology.kif 18780-18785 |
| consequent |
|
|
| (=> (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 18804-18811 | |
| (=> (instance ?OFF TakingOff) (exists (?REGION ?FLYING) (and (not (instance ?REGION AtmosphericRegion)) (holdsDuring (BeginFn (WhenFn ?OFF)) (eventLocated ?OFF ?REGION)) (subProcess ?FLYING ?OFF) (instance ?FLYING Flying)))) |
Mid-level-ontology.kif 18791-18798 |
|
|
|