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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Conscious

Sigma KEE - Conscious
Conscious(conscious)

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


(contraryAttribute Conscious Unconscious) Medicine.kif 435-435 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 436-438
(instance Conscious ConsciousnessAttribute) Medicine.kif 434-434 Conscious is an instance of consciousness attribute

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


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

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


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

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


(=>
    (and
        (instance ?A Sedating)
        (patient ?A ?P))
    (holdsDuring
        (WhenFn ?A)
        (and
            (attribute ?P Conscious)
            (not
                (attribute ?P Anxiety)))))
Medicine.kif 983-992
(=>
    (and
        (instance ?S AbsenceSeizure)
        (experiencer ?S ?A))
    (holdsDuring
        (WhenFn ?S)
        (not
            (attribute ?A Conscious))))
Medicine.kif 1690-1697
(=>
    (and
        (instance ?S FocalSeizure)
        (experiencer ?S ?A))
    (holdsDuring
        (WhenFn ?S)
        (attribute ?A Conscious)))
Medicine.kif 1669-1675
(=>
    (and
        (instance ?S TonicClonicSeizure)
        (experiencer ?S ?A))
    (holdsDuring
        (WhenFn ?S)
        (not
            (attribute ?A Conscious))))
Medicine.kif 1639-1646
(=>
    (holdsDuring ?T
        (attribute ?H AVPUAlertStatus))
    (holdsDuring ?T
        (attribute ?H Conscious)))
Medicine.kif 6433-6437


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

Show without tree


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