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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SoberingUp
SoberingUp(清醒來)

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 子類 清醒來 and PsychologicalProcess

appearance as argument number 2
-------------------------


(disjoint BecomingDrunk SoberingUp) Mid-level-ontology.kif 16366-16366 不相交的 變得醉了 and 清醒來
(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


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



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