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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Unconscious
Unconscious

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


(contraryAttribute Unconscious Awake) Merge.kif 18414-18414
(documentation Unconscious ChineseLanguage "这是指 Organism 没有意识的 Attribute。一个 Organism 之所以 Unconscious，这可能是因为 Dead， 或者是生物的头部受击，或是因为受到药物影响 等等。") chinese_format.kif 4042-4044
(documentation Unconscious EnglishLanguage "Attribute that applies to Organisms that are unconscious. An Organism may be Unconscious because it is Dead or because of a blow to the head, a drug, etc.") Merge.kif 18415-18417
(externalImage Unconscious "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2c/ CPR_Dummy-Air_Force.JPG") pictureList.kif 3025-3025
(externalImage Unconscious "http://upload.wikimedia.org/wikipedia/commons/ a/ a6/ Nicolas_Poussin-_Queen_Zenobia_Found_on_the_Banks_of_the_Arax.JPG") pictureList.kif 3268-3268
(instance Unconscious ConsciousnessAttribute) Merge.kif 18413-18413

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


(contraryAttribute Conscious Unconscious) Medicine.kif 435-435
(subAttribute Coma Unconscious) Medicine.kif 5205-5205
(subAttribute Dead Unconscious) Merge.kif 18171-18171
(termFormat ChineseLanguage Unconscious "无意识") chinese_format.kif 1267-1267
(termFormat EnglishLanguage Unconscious "unconscious") english_format.kif 1755-1755
(termFormat FrenchLanguage Unconscious "inconscient") french_format.kif 945-945
(termFormat Hindi Unconscious "sangyaahIna") terms-hindi.txt 480-480
(termFormat ItalianLanguage Unconscious "Inconscio") terms-it.txt 484-484
(termFormat JapaneseLanguage Unconscious "無意識") japanese_format.kif 2629-2629
(termFormat PortugueseLanguage Unconscious "Inconsciente") portuguese_format.kif 897-897
(termFormat cz Unconscious "unconscious") terms-cz.txt 520-520
(termFormat ro Unconscious "inconºtienþã") relations-ro.kif 966-966
(termFormat tg Unconscious "taong walang malay") terms-tg.txt 485-485

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


(=>
    (and
        (instance ?A Anesthetizing)
        (patient ?A ?P))
    (holdsDuring
        (WhenFn ?A)
        (and
            (attribute ?P Unconscious)
            (not
                (attribute ?P Pain)))))		 Medicine.kif 966-975
(=>
    (and
        (instance ?A Anesthetizing)
        (patient ?A ?P))
    (holdsDuring
        (WhenFn ?A)
        (or
            (attribute ?P Unconscious)
            (not
                (attribute ?P Pain)))))		 Medicine.kif 949-958
(=>
    (and
        (instance ?G GainingConsciousness)
        (experiencer ?G ?A))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?G))
            (attribute ?A Unconscious))
        (holdsDuring
            (EndFn
                (WhenFn ?G))
            (attribute ?A Awake))))		 Mid-level-ontology.kif 16492-16504
(=>
    (and
        (instance ?L LosingConsciousness)
        (experiencer ?L ?A))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?L))
            (attribute ?A Awake))
        (holdsDuring
            (EndFn
                (WhenFn ?L))
            (attribute ?A Unconscious))))		 Mid-level-ontology.kif 16511-16521
(=>
    (and
        (not
            (holdsDuring ?T1
                (attribute ?H Concussion)))
        (holdsDuring ?T2
            (attribute ?H Concussion))
        (meetsTemporally ?T1 ?T2))
    (modalAttribute
        (holdsDuring
            (BeginFn ?T2)
            (attribute ?H Unconscious)) Likely))		 Medicine.kif 1314-1326
(=>
    (holdsDuring ?T
        (attribute ?H AVPUUnresponsiveStatus))
    (holdsDuring ?T
        (attribute ?H Unconscious)))		 Medicine.kif 6491-6495
(=>
    (instance ?NA NasopharyngealAirway)
    (hasPurpose ?NA
        (exists (?H ?B)
            (and
                (instance ?B Breathing)
                (located ?B ?H)
                (holdsDuring
                    (WhenFn ?B)
                    (attribute ?H Unconscious))
                (path ?B ?NA)))))		 Medicine.kif 730-740


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