Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - SoberingUp
SoberingUp(sobering up)sober, sober_up

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 15781-15782
(subclass SoberingUp PsychologicalProcess) Mid-level-ontology.kif 15780-15780 Sobering up is a subclass of psychological process

appearance as argument number 2

(disjoint BecomingDrunk SoberingUp) Mid-level-ontology.kif 15760-15760 Becoming drunk is disjoint from sobering up
(termFormat ChineseLanguage SoberingUp "清醒来") domainEnglishFormat.kif 53583-53583
(termFormat ChineseTraditionalLanguage SoberingUp "清醒來") domainEnglishFormat.kif 53582-53582
(termFormat EnglishLanguage SoberingUp "sobering up") domainEnglishFormat.kif 53581-53581


        (instance ?B SoberingUp)
        (experiencer ?B ?A))
                (WhenFn ?B))
            (attribute ?A Drunk))
                (WhenFn ?B))
            (attribute ?A Sober))))
Mid-level-ontology.kif 15784-15794

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners