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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Conscious
Conscious

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


(contraryAttribute Conscious Unconscious) Medicine.kif 423-423
(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 424-426
(instance Conscious ConsciousnessAttribute) Medicine.kif 422-422

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


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

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


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

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


(=>
    (and
        (instance ?A Sedating)
        (patient ?A ?P))
    (holdsDuring
        (WhenFn ?A)
        (and
            (attribute ?P Conscious)
            (not
                (attribute ?P Anxiety)))))
Medicine.kif 971-980
(=>
    (and
        (instance ?S AbsenceSeizure)
        (experiencer ?S ?A))
    (holdsDuring
        (WhenFn ?S)
        (not
            (attribute ?A Conscious))))
Medicine.kif 1678-1685
(=>
    (and
        (instance ?S FocalSeizure)
        (experiencer ?S ?A))
    (holdsDuring
        (WhenFn ?S)
        (attribute ?A Conscious)))
Medicine.kif 1657-1663
(=>
    (and
        (instance ?S TonicClonicSeizure)
        (experiencer ?S ?A))
    (holdsDuring
        (WhenFn ?S)
        (not
            (attribute ?A Conscious))))
Medicine.kif 1627-1634
(=>
    (holdsDuring ?T
        (attribute ?H AVPUAlertStatus))
    (holdsDuring ?T
        (attribute ?H Conscious)))
Medicine.kif 6417-6421


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