| 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 8697-8698 | |
| (subAttribute Drunk Drugged) | Mid-level-ontology.kif 8696-8696 | Drunk e' um sub-atributo de 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 8713-8720 | |
| (=> (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 8700-8711 |
|
| 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 16370-16380 |
|
| (=> (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 16390-16400 |
|
|
|
|