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

KB Term:  Term intersection
English Word: 

Sigma KEE - Awake
Awake(awake)
aesthesia, alert, alerting, alertness, argus-eyed, arousal, astir, awake, awakened, conscious, consciously, esthesia, insomniac, lie_awake, open-eyed, resuscitated, self-aware, self-conscious, semiconscious, sensibility, sentient, sleepless, sleeplessness, unsleeping, up, vigil, vigilant, wakeful, wakefulness, waking, watchful, wide-awake

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


(instance Awake ConsciousnessAttribute) Merge.kif 18688-18688 Awake is an instance of consciousness attribute
(documentation Awake EnglishLanguage "Attribute that applies to Organisms that are neither Unconscious nor Asleep.") Merge.kif 18689-18690 Awake is an instance of consciousness attribute
(externalImage Awake "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ df/ Bengal_Cat_%28Fia%29.jpg/ 200px_Bengal_Cat_%28Fia%29.jpg") pictureList.kif 1040-1040 Awake is an instance of consciousness attribute

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


(contraryAttribute Unconscious Awake) Merge.kif 18683-18683 Unconscious is the opposite of awake
(termFormat EnglishLanguage Awake "awake") english_format.kif 1761-1761 Unconscious is the opposite of awake

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


(=>
    (or
        (attribute ?AGENT Asleep)
        (attribute ?AGENT Awake))
    (attribute ?AGENT Living))		 Merge.kif 18692-18696 If asleep is an attribute of X or awake is an attribute of X, then living is an attribute of X

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


(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?HUMAN)
        (instance ?HUMAN Animal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?HUMAN Awake)))		 Merge.kif 10750-10755 If X is an instance of intentional process, Y is an agent of X, and Y is an instance of animal, then awake is an attribute of Y holds during the time of existence of X
(=>
    (and
        (instance ?FALL FallingAsleep)
        (experiencer ?FALL ?AGENT))
    (exists (?START ?FINISH)
        (and
            (starts ?START
                (WhenFn ?FALL))
            (finishes ?FINISH
                (WhenFn ?FALL))
            (holdsDuring ?START
                (attribute ?AGENT Awake))
            (holdsDuring ?FINISH
                (attribute ?AGENT Asleep)))))		 Mid-level-ontology.kif 18013-18022 If X is an instance of falling asleep and Y experiences X, then there exist Z, W such that Z starts the time of existence of X, W finishes the time of existence of X, awake is an attribute of Y holds during Z, and asleep is an attribute of Y holds during W
(=>
    (and
        (instance ?WAKE WakingUp)
        (experiencer ?WAKE ?AGENT))
    (exists (?START ?FINISH)
        (and
            (starts ?START
                (WhenFn ?WAKE))
            (finishes ?FINISH
                (WhenFn ?WAKE))
            (holdsDuring ?START
                (attribute ?AGENT Asleep))
            (holdsDuring ?FINISH
                (attribute ?AGENT Awake)))))		 Mid-level-ontology.kif 18028-18037 If X is an instance of waking up and Y experiences X, then there exist Z, W such that Z starts the time of existence of X, W finishes the time of existence of X, asleep is an attribute of Y holds during Z, and awake is an attribute of Y holds during W
(=>
    (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 18079-18091 If X is an instance of gaining consciousness and Y experiences X, then unconscious is an attribute of Y holds during the beginning of the time of existence of X and awake is an attribute of Y holds during the end of the time of existence of X
(=>
    (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 18098-18108 If X is an instance of losing consciousness and Y experiences X, then awake is an attribute of Y holds during the beginning of the time of existence of X and unconscious is an attribute of Y holds during the end of the time of existence of X


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