Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Sober
Sober(sober)cold_sober, drug-free, dry, sober, stone-sober, teetotal, uninebriated, unintoxicated

appearance as argument number 1
-------------------------


(instance Sober ConsciousnessAttribute) Mid-level-ontology.kif 17988-17988 Sober is an instance of consciousness attribute
(documentation Sober EnglishLanguage "The ConsciousnessAttribute of someone whose motor and cognitive faculties are not significantly impaired by a BiologicallyActiveSubstance.") Mid-level-ontology.kif 17989-17990 Sober is an instance of consciousness attribute

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


(contraryAttribute Drugged Sober) Mid-level-ontology.kif 10016-10016 Drugged is the opposite of sober
(termFormat EnglishLanguage Sober "sober") domainEnglishFormat.kif 53589-53589 Drugged is the opposite of sober
(termFormat ChineseTraditionalLanguage Sober "清醒") domainEnglishFormat.kif 53590-53590 Drugged is the opposite of sober
(termFormat ChineseLanguage Sober "清醒") domainEnglishFormat.kif 53591-53591 Drugged is the opposite of sober

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 17976-17986 If X is an instance of becoming drunk and Y experiences X, then sober is an attribute of Y holds during the beginning of the time of existence of X and drunk is an attribute of Y holds during the end of the time of existence of X
(=>
    (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 17996-18006 If X is an instance of sobering up and Y experiences X, then drunk is an attribute of Y holds during the beginning of the time of existence of X and sober is an attribute of Y holds during the end of the time of existence of X
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?A1 Sober)))		 Law.kif 496-505 If X is a party to agreement of Y, Z is an instance of intentional process, W is a result of Z, W is the record of X, and legal is an attribute of X, then sober is an attribute of Y holds during the time of existence of Z


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners