BecomingDrunk - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint BecomingDrunk SoberingUp)	Mid-level-ontology.kif 16366-16366	不相交的變得醉了 and 清醒來
(documentation BecomingDrunk EnglishLanguage "The process of transitioning from a state of being Sober to a state of being Drunk.")	Mid-level-ontology.kif 16367-16368
(subclass BecomingDrunk PsychologicalProcess)	Mid-level-ontology.kif 16365-16365	子類變得醉了 and PsychologicalProcess

appearance as argument number 2

(termFormat ChineseLanguage BecomingDrunk "变得醉了")	domainEnglishFormat.kif 10445-10445
(termFormat ChineseTraditionalLanguage BecomingDrunk "變得醉了")	domainEnglishFormat.kif 10444-10444
(termFormat EnglishLanguage BecomingDrunk "becoming drunk")	domainEnglishFormat.kif 10443-10443

antecedent

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

Mid-level-ontology.kif 16370-16380