Drunk - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] 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

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

appearance as argument number 2

(termFormat EnglishLanguage Drunk "drunk")

domainEnglishFormat.kif 3845-3845

"drunk" is the printable form of drunk in english language

antecedent

(=> (holdsDuring ?T (attribute ?P Drunk)) (holdsDuring ?T (exists (?B) (and (instance ?B Alcohol) (part ?B ?P)))))	Mid-level-ontology.kif 8365-8372	If drunk is an attribute of an entity holds during a time position, then there exists another entity such that the other entity is an instance of alcohol and the other entity is a part of the entity holds during the time position
(=> (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 8352-8363	If drunk is an attribute of an entity holds during a time position, then there exists another time position such that the other time position is a part of before the time position and there exist another entity and a third entity such that the other entity is an instance of drinking and the third entity is a patient of the other entity and the third entity is an instance of alcoholic beverage and the entity is an agent of the other entity holds during the other time position

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 13988-13998	If a process is an instance of becoming drunk and an agent experiences the process, then sober is an attribute of the agent holds during the beginning of the time of existence of the process and drunk is an attribute of the agent holds during the end of the time of existence of the process
(=> (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 14008-14018	If a process is an instance of sobering up and an agent experiences the process, then drunk is an attribute of the agent holds during the beginning of the time of existence of the process and sober is an attribute of the agent holds during the end of the time of existence of the process

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners