Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(documentation Awake ChineseLanguage "这是指当 Organism 既不是处于 Unconscious 无意识,也不是 AsleepAttribute。") Merge.kif 18728-18729
(documentation Awake EnglishLanguage "Attribute that applies to Organisms that are neither Unconscious nor Asleep.") Merge.kif 18726-18727
(externalImage Awake "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ df/ Bengal_Cat_%28Fia%29.jpg/ 200px-Bengal_Cat_%28Fia%29.jpg") pictureList.kif 1041-1041 "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ df/ Bengal_Cat_%28Fia%29.jpg/ 200px-Bengal_Cat_%28Fia%29.jpg" is a URL depicting awake
(instance Awake ConsciousnessAttribute) Merge.kif 18725-18725 Awake is an instance of consciousness attribute

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


(contraryAttribute Unconscious Awake) Merge.kif 18717-18717 Unconscious is the opposite of awake
(termFormat ChineseLanguage Awake "觉醒") chinese_format.kif 1268-1268 "觉醒" is the printable form of awake in ChineseLanguage
(termFormat EnglishLanguage Awake "awake") english_format.kif 955-955 "awake" is the printable form of awake in english language

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


(=>
    (or
        (attribute ?AGENT Asleep)
        (attribute ?AGENT Awake))
    (attribute ?AGENT Living))
Merge.kif 18731-18735

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


(=>
    (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 14025-14034
(=>
    (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 14054-14066
(=>
    (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 14073-14083
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?HUMAN)
        (instance ?HUMAN Animal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?HUMAN Awake)))
Merge.kif 10540-10545
(=>
    (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 14040-14049


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners