| 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 8888-8889 | |
| (subAttribute Drunk Drugged) | Mid-level-ontology.kif 8887-8887 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Drunk "醉") | domainEnglishFormat.kif 20555-20555 | |
| (termFormat ChineseTraditionalLanguage Drunk "醉") | domainEnglishFormat.kif 20554-20554 | |
| (termFormat EnglishLanguage Drunk "drunk") | domainEnglishFormat.kif 20553-20553 |
| antecedent |
|
|
| (=> (holdsDuring ?T (attribute ?P Drunk)) (holdsDuring ?T (exists (?B) (and (instance ?B Alcohol) (part ?B ?P))))) |
Mid-level-ontology.kif 8904-8911 | |
| (=> (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 |
| 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 | |
| (=> (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 |
|
|
|