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

KB Term:  Term intersection
English Word: 

Sigma KEE - Conscious
Conscious(conscious)

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


(instance Conscious ConsciousnessAttribute) Medicine.kif 424-424 Conscious is an instance of consciousness attribute
(contraryAttribute Conscious Unconscious) Medicine.kif 425-425 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 426-428 Conscious is the opposite of unconscious

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


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

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


(=>
    (holdsDuring ?T
        (attribute ?H Conscious))
    (holdsDuring ?T
        (capability IntentionalProcess agent ?H)))		 Medicine.kif 431-435 If conscious is an attribute of X holds during Y, then X is capable of doing intentional process as a agent holds during Y

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


(=>
    (and
        (instance ?A Sedating)
        (patient ?A ?P))
    (holdsDuring
        (WhenFn ?A)
        (and
            (attribute ?P Conscious)
            (not
                (attribute ?P Anxiety)))))		 Medicine.kif 964-973 If X is an instance of sedating and Y is a patient of X, then conscious is an attribute of Y and anxiety is not an attribute of Y holds during the time of existence of X
(=>
    (and
        (instance ?S TonicClonicSeizure)
        (experiencer ?S ?A))
    (holdsDuring
        (WhenFn ?S)
        (not
            (attribute ?A Conscious))))		 Medicine.kif 1623-1630 If X is an instance of GTCS and Y experiences X, then conscious is not an attribute of Y holds during the time of existence of X
(=>
    (and
        (instance ?S FocalSeizure)
        (experiencer ?S ?A))
    (holdsDuring
        (WhenFn ?S)
        (attribute ?A Conscious)))		 Medicine.kif 1653-1659 If X is an instance of partial seizure and Y experiences X, then conscious is an attribute of Y holds during the time of existence of X
(=>
    (and
        (instance ?S AbsenceSeizure)
        (experiencer ?S ?A))
    (holdsDuring
        (WhenFn ?S)
        (not
            (attribute ?A Conscious))))		 Medicine.kif 1674-1681 If X is an instance of petit mal seizure and Y experiences X, then conscious is not an attribute of Y holds during the time of existence of X
(=>
    (holdsDuring ?T
        (attribute ?H AVPUAlertStatus))
    (holdsDuring ?T
        (attribute ?H Conscious)))		 Medicine.kif 6480-6484 If AVPU alert status is an attribute of X holds during Y, then conscious is an attribute of X holds during Y


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