Sober |
appearance as argument number 1 |
(documentation Sober EnglishLanguage "The ConsciousnessAttribute of someone whose motor and cognitive faculties are not significantly impaired by a BiologicallyActiveSubstance.") | Mid-level-ontology.kif 16356-16357 | |
(instance Sober ConsciousnessAttribute) | Mid-level-ontology.kif 16355-16355 | Sober ist ein fall von ConsciousnessAttribute %n{nicht} |
appearance as argument number 2 |
(contraryAttribute Drugged Sober) | Mid-level-ontology.kif 8656-8656 | Drugged wird Sober entgegengesetzet %n{nicht} |
(termFormat ChineseLanguage Sober "清醒") | domainEnglishFormat.kif 53594-53594 | |
(termFormat ChineseTraditionalLanguage Sober "清醒") | domainEnglishFormat.kif 53593-53593 | |
(termFormat EnglishLanguage Sober "sober") | domainEnglishFormat.kif 53592-53592 |
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 16343-16353 |
|
(=> (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 16363-16373 |
|
(=> (and (partyToAgreement ?A1 ?AG) (instance ?PROC IntentionalProcess) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (holdsDuring (WhenFn ?PROC) (attribute ?A1 Sober))) |
Law.kif 515-524 |
|