GainingConsciousness - Sigma Knowledge base Browser

appearance as argument number 1

(subclass GainingConsciousness PsychologicalProcess)	Mid-level-ontology.kif 18075-18075	Gaining consciousness is a subclass of psychological process
(documentation GainingConsciousness EnglishLanguage "The process of transitioning from a state of being Unconscious to a state of being Awake.")	Mid-level-ontology.kif 18076-18077	Gaining consciousness is a subclass of psychological process

appearance as argument number 2

(disjoint LosingConsciousness GainingConsciousness)	Mid-level-ontology.kif 18094-18094	Losing consciousness is disjoint from gaining consciousness
(termFormat EnglishLanguage GainingConsciousness "gaining consciousness")	domainEnglishFormat.kif 25336-25336	Losing consciousness is disjoint from gaining consciousness
(termFormat ChineseTraditionalLanguage GainingConsciousness "獲得意識")	domainEnglishFormat.kif 25337-25337	Losing consciousness is disjoint from gaining consciousness
(termFormat ChineseLanguage GainingConsciousness "获得意识")	domainEnglishFormat.kif 25338-25338	Losing consciousness is disjoint from gaining consciousness

antecedent

(=>
    (and
        (instance ?G GainingConsciousness)
        (experiencer ?G ?A))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?G))
            (attribute ?A Unconscious))
        (holdsDuring
            (EndFn
                (WhenFn ?G))
            (attribute ?A Awake))))

If X is an instance of gaining consciousness and Y experiences X, then unconscious is an attribute of Y holds during the beginning of the time of existence of X and awake is an attribute of Y holds during the end of the time of existence of X