| Flying
| |
| appearance as argument number 1 |
|
|
| (documentation Flying EnglishLanguage "Any instance of Translocation which is through an AtmosphericRegion.") | Mid-level-ontology.kif 17484-17485 | |
| (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 17483-17483 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Flying "飞行") | domainEnglishFormat.kif 24445-24445 | |
| (termFormat ChineseTraditionalLanguage Flying "飛行") | domainEnglishFormat.kif 24444-24444 | |
| (termFormat EnglishLanguage Flying "flying") | domainEnglishFormat.kif 24443-24443 |
| 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 17487-17492 |
| 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 17511-17518 | |
| (=> (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 17498-17505 |
|
|
|