Flying |
appearance as argument number 1 |
(documentation Flying EnglishLanguage "Any instance of Translocation which is through an AtmosphericRegion.") | Mid-level-ontology.kif 17253-17254 | |
(externalImage Flying "http://upload.wikimedia.org/wikipedia/commons/a/af/ Antarctic%2Calbatros_%28js%29_2.jpg") | pictureList.kif 6017-6017 | |
(externalImage Flying "http://upload.wikimedia.org/wikipedia/commons/f/f9/ Branta_bernicla_flying%28ThKraft%29.jpg") | pictureList.kif 6523-6523 | |
(subclass Flying Translocation) | Mid-level-ontology.kif 17252-17252 |
appearance as argument number 2 |
(termFormat ChineseLanguage Flying "飞行") | domainEnglishFormat.kif 24428-24428 | |
(termFormat ChineseTraditionalLanguage Flying "飛行") | domainEnglishFormat.kif 24427-24427 | |
(termFormat EnglishLanguage Flying "flying") | domainEnglishFormat.kif 24426-24426 |
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 17256-17261 |
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 17280-17287 | |
(=> (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 17267-17274 |