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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Drunk
Drunk

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


(documentation Drunk EnglishLanguage "The ConsciousnessAttribute of someone whose motor and cognitive faculties are significantly impaired by Alcohol.") Mid-level-ontology.kif 8351-8352
(subAttribute Drunk Drugged) Mid-level-ontology.kif 8350-8350

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


(termFormat ChineseLanguage Drunk "醉") domainEnglishFormat.kif 20473-20473
(termFormat ChineseTraditionalLanguage Drunk "醉") domainEnglishFormat.kif 20472-20472
(termFormat EnglishLanguage Drunk "drunk") domainEnglishFormat.kif 20471-20471

antecedent
-------------------------


(=>
    (holdsDuring ?T
        (attribute ?P Drunk))
    (holdsDuring ?T
        (exists (?B)
            (and
                (instance ?B Alcohol)
                (part ?B ?P)))))
Mid-level-ontology.kif 8367-8374
(=>
    (holdsDuring ?TIME
        (attribute ?PERSON Drunk))
    (exists (?PAST)
        (and
            (temporalPart ?PAST
                (PastFn ?TIME))
            (holdsDuring ?PAST
                (exists (?DRINK ?ALCOHOL)
                    (and
                        (instance ?DRINK Drinking)
                        (patient ?DRINK ?ALCOHOL)
                        (instance ?ALCOHOL AlcoholicBeverage)
                        (agent ?DRINK ?PERSON)))))))
Mid-level-ontology.kif 8354-8365

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 13988-13998
(=>
    (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 14008-14018


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners