SoberingUp - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SoberingUp EnglishLanguage "The process of transitioning from a state of being Drunk to a state of being Sober.")	Mid-level-ontology.kif 16387-16388
(subclass SoberingUp PsychologicalProcess)	Mid-level-ontology.kif 16386-16386	SoberingUp ist eine teilkategorie von PsychologicalProcess

appearance as argument number 2

(disjoint BecomingDrunk SoberingUp)	Mid-level-ontology.kif 16366-16366	BecomingDrunk ist dijunkt von SoberingUp %n{nicht}
(termFormat ChineseLanguage SoberingUp "清醒来")	domainEnglishFormat.kif 53602-53602
(termFormat ChineseTraditionalLanguage SoberingUp "清醒來")	domainEnglishFormat.kif 53601-53601
(termFormat EnglishLanguage SoberingUp "sobering up")	domainEnglishFormat.kif 53600-53600

antecedent

(=>
    (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

Wenn Process ist ein fall von SoberingUp %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht},
dann Drunk ist ein attribut von ** AutonomousAgent %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und Sober ist ein attribut von ** AutonomousAgent %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}