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 | Flying est une sous-classe de Translocation |
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 |
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 |