|
|
  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 |
| 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 |
|
|
|