Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Drunk
Drunk(drunk)besotted, blind_drunk, blotto, cockeyed, crocked, drunk, fuddled, half-seas-over, inebriated, intoxicated, loaded, pie-eyed, pissed, pixilated, plastered, potty, slopped, sloshed, smashed, soaked, soused, sozzled, squiffy, stiff, tiddly, tight, tipsy, wet

appearance as argument number 1
-------------------------


(subAttribute Drunk Drugged) Mid-level-ontology.kif 10029-10029 Drunk is a subattribute of drugged
(documentation Drunk EnglishLanguage "The ConsciousnessAttribute of someone whose motor and cognitive faculties are significantly impaired by Alcohol.") Mid-level-ontology.kif 10030-10031 Drunk is a subattribute of drugged

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Drunk "drunk") domainEnglishFormat.kif 20544-20544
(termFormat ChineseTraditionalLanguage Drunk "醉") domainEnglishFormat.kif 20545-20545
(termFormat ChineseLanguage Drunk "醉") domainEnglishFormat.kif 20546-20546

antecedent
-------------------------


(=>
    (holdsDuring ?TIME
        (attribute ?PERSON Drunk))
    (exists (?PAST)
        (and
            (temporalPart ?PAST
                (PastFn ?TIME))
            (holdsDuring ?PAST
                (exists (?DRINK ?ALCOHOL)
                    (and
                        (instance ?DRINK Drinking)
                        (patient ?DRINK ?ALCOHOL)
                        (instance ?ALCOHOL AlcoholicBeverage)
                        (agent ?DRINK ?PERSON)))))))		 Mid-level-ontology.kif 10033-10044 If drunk is an attribute of X holds during Y, then there exists Z such that Z is a part of before Y, there exist W, V such that W is an instance of drinking, V is a patient of W, V is an instance of alcoholic beverage, and X is an agent of W holds during Z
(=>
    (holdsDuring ?T
        (attribute ?P Drunk))
    (holdsDuring ?T
        (exists (?B)
            (and
                (instance ?B Alcohol)
                (part ?B ?P)))))		 Mid-level-ontology.kif 10046-10053 If drunk is an attribute of X holds during Y, then there exists Z such that Z is an instance of alcohol and Z is a part of X holds during Y

consequent
-------------------------


(=>
    (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 17976-17986 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
(=>
    (and
        (instance ?B SoberingUp)
        (experiencer ?B ?A))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?B))
            (attribute ?A Drunk))
        (holdsDuring
            (EndFn
                (WhenFn ?B))
            (attribute ?A Sober))))		 Mid-level-ontology.kif 17996-18006 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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners