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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Conscious
Conscious(conscious)

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


(contraryAttribute Conscious Unconscious) Medicine.kif 424-424 Conscious is the opposite of unconscious
(documentation Conscious EnglishLanguage "Unlike an Unconscious Human, a conscious one is able to perform at least some sort of IntentionalProcess, even if very minimal, such as Blinking of the Eye of someone who is suffereing from a profound Paralysis.") Medicine.kif 425-427 Conscious is the opposite of unconscious
(instance Conscious ConsciousnessAttribute) Medicine.kif 423-423 Conscious is an instance of consciousness attribute

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


(termFormat EnglishLanguage Conscious "conscious") Medicine.kif 428-428

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


(=>
    (holdsDuring ?T
        (attribute ?H Conscious))
    (holdsDuring ?T
        (capability IntentionalProcess agent ?H)))
Medicine.kif 430-434

consequent
-------------------------


(=>
    (and
        (instance ?A Sedating)
        (patient ?A ?P))
    (holdsDuring
        (WhenFn ?A)
        (and
            (attribute ?P Conscious)
            (not
                (attribute ?P Anxiety)))))
Medicine.kif 975-984
(=>
    (and
        (instance ?S AbsenceSeizure)
        (experiencer ?S ?A))
    (holdsDuring
        (WhenFn ?S)
        (not
            (attribute ?A Conscious))))
Medicine.kif 1683-1690
(=>
    (and
        (instance ?S FocalSeizure)
        (experiencer ?S ?A))
    (holdsDuring
        (WhenFn ?S)
        (attribute ?A Conscious)))
Medicine.kif 1662-1668
(=>
    (and
        (instance ?S TonicClonicSeizure)
        (experiencer ?S ?A))
    (holdsDuring
        (WhenFn ?S)
        (not
            (attribute ?A Conscious))))
Medicine.kif 1632-1639
(=>
    (holdsDuring ?T
        (attribute ?H AVPUAlertStatus))
    (holdsDuring ?T
        (attribute ?H Conscious)))
Medicine.kif 6451-6455


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