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 8888-8889
(subAttribute Drunk Drugged)	Mid-level-ontology.kif 8887-8887	Drunk is a subattribute of drugged

appearance as argument number 2

(termFormat ChineseLanguage Drunk "醉")	domainEnglishFormat.kif 20560-20560
(termFormat ChineseTraditionalLanguage Drunk "醉")	domainEnglishFormat.kif 20559-20559
(termFormat EnglishLanguage Drunk "drunk")	domainEnglishFormat.kif 20558-20558

antecedent

(=> (holdsDuring ?T (attribute ?P Drunk)) (holdsDuring ?T (exists (?B) (and (instance ?B Alcohol) (part ?B ?P)))))	Mid-level-ontology.kif 8904-8911	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 8891-8902	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 16561-16571	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 16581-16591	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 3.0 is open source software produced by Articulate Software and its partners