TreeView Knowledge Base Browser

appearance as argument number 1

(subclass SoberingUp PsychologicalProcess)	Mid-level-ontology.kif 17992-17992	Sobering up is a subclass of psychological process
(documentation SoberingUp EnglishLanguage "The process of transitioning from a state of being Drunk to a state of being Sober.")	Mid-level-ontology.kif 17993-17994	Sobering up is a subclass of psychological process

appearance as argument number 2

(disjoint BecomingDrunk SoberingUp)	Mid-level-ontology.kif 17972-17972	Becoming drunk is disjoint from sobering up
(termFormat EnglishLanguage SoberingUp "sobering up")	domainEnglishFormat.kif 53595-53595	Becoming drunk is disjoint from sobering up
(termFormat ChineseTraditionalLanguage SoberingUp "清醒來")	domainEnglishFormat.kif 53596-53596	Becoming drunk is disjoint from sobering up
(termFormat ChineseLanguage SoberingUp "清醒来")	domainEnglishFormat.kif 53597-53597	Becoming drunk is disjoint from sobering up

antecedent

(=>
    (and
        (instance ?B SoberingUp)
        (experiencer ?B ?A))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?B))
            (attribute ?A Drunk))
        (holdsDuring
            (EndFn
                (WhenFn ?B))
            (attribute ?A Sober))))

If X is an instance of sobering up and Y experiences X, then drunk is an attribute of Y holds during the beginning of the time of existence of X and sober is an attribute of Y holds during the end of the time of existence of X