BecomingDrunk - Sigma Knowledge base Browser

appearance as argument number 1

(subclass BecomingDrunk PsychologicalProcess)	Mid-level-ontology.kif 17971-17971	Becoming drunk is a subclass of psychological process
(disjoint BecomingDrunk SoberingUp)	Mid-level-ontology.kif 17972-17972	Becoming drunk is disjoint from sobering up
(documentation BecomingDrunk EnglishLanguage "The process of transitioning from a state of being Sober to a state of being Drunk.")	Mid-level-ontology.kif 17973-17974	Becoming drunk is disjoint from sobering up

appearance as argument number 2

(termFormat EnglishLanguage BecomingDrunk "becoming drunk")	domainEnglishFormat.kif 10449-10449
(termFormat ChineseTraditionalLanguage BecomingDrunk "變得醉了")	domainEnglishFormat.kif 10450-10450
(termFormat ChineseLanguage BecomingDrunk "变得醉了")	domainEnglishFormat.kif 10451-10451

antecedent

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

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