LosingConsciousness - Sigma Knowledge base Browser

appearance as argument number 1

(subclass LosingConsciousness PsychologicalProcess)	Mid-level-ontology.kif 18093-18093	Losing consciousness is a subclass of psychological process
(disjoint LosingConsciousness GainingConsciousness)	Mid-level-ontology.kif 18094-18094	Losing consciousness is disjoint from gaining consciousness
(documentation LosingConsciousness EnglishLanguage "The process of transitioning from a state of being Awake to a state of being Unconscious.")	Mid-level-ontology.kif 18095-18096	Losing consciousness is disjoint from gaining consciousness

appearance as argument number 2

(termFormat EnglishLanguage LosingConsciousness "losing consciousness")	domainEnglishFormat.kif 35059-35059
(termFormat ChineseTraditionalLanguage LosingConsciousness "失去意識")	domainEnglishFormat.kif 35060-35060
(termFormat ChineseLanguage LosingConsciousness "失去意识")	domainEnglishFormat.kif 35061-35061

antecedent

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

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