|
|
  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 15777-15778 | |
| (instance Sober ConsciousnessAttribute) | Mid-level-ontology.kif 15776-15776 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Drugged Sober) | Mid-level-ontology.kif 8259-8259 | |
| (termFormat ChineseLanguage Sober "清醒") | domainEnglishFormat.kif 53577-53577 | |
| (termFormat ChineseTraditionalLanguage Sober "清醒") | domainEnglishFormat.kif 53576-53576 | |
| (termFormat EnglishLanguage Sober "sober") | domainEnglishFormat.kif 53575-53575 |
| 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 15764-15774 | |
| (=> (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 15784-15794 | |
| (=> (and (partyToAgreement ?A1 ?AG) (instance ?PROC IntentionalProcess) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (holdsDuring (WhenFn ?PROC) (attribute ?A1 Sober))) |
Law.kif 563-572 |
|
|
|