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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Awake

Sigma KEE - Awake
Awake
إِسْتِيقاظ, صحْو, سهر, تيقُّظ, يَقَظَة, يَقَظَة, إِنْعِدام النّوْم, أرق, سهر, سُهاد, سُهْد, يَقَظَة,

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


(documentation Awake ChineseLanguage "这是指当 Organism 既不是处于 Unconscious 无意识,也不是 AsleepAttribute。") Merge.kif 18676-18677
(documentation Awake EnglishLanguage "Attribute that applies to Organisms that are neither Unconscious nor Asleep.") Merge.kif 18674-18675
(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
(instance Awake ConsciousnessAttribute) Merge.kif 18673-18673

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


(contraryAttribute Unconscious Awake) Merge.kif 18665-18665
(termFormat ChineseLanguage Awake "觉醒") chinese_format.kif 1268-1268
(termFormat EnglishLanguage Awake "awake") english_format.kif 955-955
(termFormat FrenchLanguage Awake "r�veill�") french_format.kif 946-946
(termFormat Hindi Awake "jaagarUka") terms-hindi.txt 481-481
(termFormat ItalianLanguage Awake "Sveglio") terms-it.txt 483-483
(termFormat PortugueseLanguage Awake "Acordado") portuguese_format.kif 898-898
(termFormat cb Awake "nakamata") terms-cb.txt 487-487
(termFormat cz Awake "awake") terms-cz.txt 521-521
(termFormat tg Awake "gising") terms-tg.txt 486-486

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


(=>
    (or
        (attribute ?AGENT Asleep)
        (attribute ?AGENT Awake))
    (attribute ?AGENT Living))
Merge.kif 18679-18683

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