BecomingDrunk
|
|
appearance as argument number 1 |
(disjoint BecomingDrunk SoberingUp) | Mid-level-ontology.kif 16366-16366 | BecomingDrunk est disjoint de SoberingUp |
(documentation BecomingDrunk EnglishLanguage "The process of transitioning from a state of being Sober to a state of being Drunk.") | Mid-level-ontology.kif 16367-16368 | |
(subclass BecomingDrunk PsychologicalProcess) | Mid-level-ontology.kif 16365-16365 | BecomingDrunk est une sous-classe de processus psychologique |
appearance as argument number 2 |
(termFormat ChineseLanguage BecomingDrunk "变得醉了") | domainEnglishFormat.kif 10445-10445 | |
(termFormat ChineseTraditionalLanguage BecomingDrunk "變得醉了") | domainEnglishFormat.kif 10444-10444 | |
(termFormat EnglishLanguage BecomingDrunk "becoming drunk") | domainEnglishFormat.kif 10443-10443 |
antecedent |
(=> (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 |
|