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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7515-7516
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7514-7514	Drunk is a subattribute of drugged

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20535-20535
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20534-20534
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20533-20533

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7531-7538	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7518-7529	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13045-13055	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13065-13075	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