| Flying
| |
| appearance as argument number 1 |
|
|
| (documentation Flying EnglishLanguage "Any instance of Translocation which is through an AtmosphericRegion and which is powered by the wings of an Animal.") | Mid-level-ontology.kif 13833-13834 | |
| (externalImage Flying "http://upload.wikimedia.org/wikipedia/commons/a/af/ Antarctic%2Calbatros_%28js%29_2.jpg") | pictureList.kif 6018-6018 | |
| (externalImage Flying "http://upload.wikimedia.org/wikipedia/commons/f/f9/ Branta_bernicla_flying%28ThKraft%29.jpg") | pictureList.kif 6524-6524 | |
| (subclass Flying Translocation) | Mid-level-ontology.kif 13832-13832 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Flying "飞行") | domainEnglishFormat.kif 24423-24423 | |
| (termFormat ChineseTraditionalLanguage Flying "飛行") | domainEnglishFormat.kif 24422-24422 | |
| (termFormat EnglishLanguage Flying "flying") | domainEnglishFormat.kif 24421-24421 |
| 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 944-955 | |
| (=> (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 1051-1063 | |
| (=> (instance ?FLY Flying) (exists (?REGION) (and (instance ?REGION AtmosphericRegion) (eventLocated ?FLY ?REGION)))) |
Mid-level-ontology.kif 13836-13841 |
| 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 13860-13867 | |
| (=> (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 13847-13854 |
|
|
|