Drunk
|
|
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 8669-8670 | |
(subAttribute Drunk Drugged) | Mid-level-ontology.kif 8668-8668 | Drunk ist ein teilattribut von Drugged |
appearance as argument number 2 |
(termFormat ChineseLanguage Drunk "醉") | domainEnglishFormat.kif 20544-20544 | |
(termFormat ChineseTraditionalLanguage Drunk "醉") | domainEnglishFormat.kif 20543-20543 | |
(termFormat EnglishLanguage Drunk "drunk") | domainEnglishFormat.kif 20542-20542 |
antecedent |
(=> (holdsDuring ?T (attribute ?P Drunk)) (holdsDuring ?T (exists (?B) (and (instance ?B Alcohol) (part ?B ?P))))) |
Mid-level-ontology.kif 8685-8692 |
|
(=> (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 8672-8683 |
|
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 16342-16352 |
|
(=> (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 16362-16372 |
|