Flying - Sigma Knowledge base Browser

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	Flying is a subclass of translocation

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

(=>
    (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	If a process is an instance of landing, then there exist an entity and another process such that the entity is not an instance of atmospheric region and the process is located at the entity holds during the end of the time of existence of the process and the other process is a subprocess of the process and the other process is an instance of flying
(=> (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	If a process is an instance of taking off, then there exist an entity and another process such that the entity is not an instance of atmospheric region and the process is located at the entity holds during the beginning of the time of existence of the process and the other process is a subprocess of the process and the other process is an instance of flying