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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Awake
Awake(起きている)

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


(documentation Awake ChineseLanguage "这是指当 Organism 既不是处于 Unconscious 无意识，也不是 Asleep 的 Attribute。") chinese_format.kif 4045-4046
(documentation Awake EnglishLanguage "Attribute that applies to Organisms that are neither Unconscious nor Asleep.") Merge.kif 18528-18529
(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
(instance Awake ConsciousnessAttribute) Merge.kif 18527-18527 起きている は 意識属性 の instance では

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


(contraryAttribute Unconscious Awake) Merge.kif 18522-18522 無意識 は 起きている の disjoint では
(termFormat ChineseLanguage Awake "觉醒") chinese_format.kif 1268-1268 無意識 は 起きている の disjoint では
(termFormat EnglishLanguage Awake "awake") english_format.kif 1757-1757 無意識 は 起きている の disjoint では
(termFormat FrenchLanguage Awake "r�veill�") french_format.kif 946-946 無意識 は 起きている の disjoint では
(termFormat Hindi Awake "jaagarUka") terms-hindi.txt 481-481 無意識 は 起きている の disjoint では
(termFormat ItalianLanguage Awake "Sveglio") terms-it.txt 485-485 無意識 は 起きている の disjoint では
(termFormat JapaneseLanguage Awake "起きている") japanese_format.kif 2630-2630 無意識 は 起きている の disjoint では
(termFormat PortugueseLanguage Awake "Acordado") portuguese_format.kif 898-898 無意識 は 起きている の disjoint では
(termFormat cb Awake "nakamata") terms-cb.txt 487-487 無意識 は 起きている の disjoint では
(termFormat cz Awake "awake") terms-cz.txt 521-521 無意識 は 起きている の disjoint では
(termFormat de Awake "wach") terms-de.txt 780-780 無意識 は 起きている の disjoint では
(termFormat ro Awake "trezire") relations-ro.kif 967-967 無意識 は 起きている の disjoint では
(termFormat tg Awake "gising") terms-tg.txt 486-486 無意識 は 起きている の disjoint では

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


(=>
    (or
        (attribute ?AGENT Asleep)
        (attribute ?AGENT Awake))
    (attribute ?AGENT Living))		 Merge.kif 18531-18535

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 17767-17776
(=>
    (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 17852-17864
(=>
    (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 17871-17881
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?HUMAN)
        (instance ?HUMAN Animal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?HUMAN Awake)))		 Merge.kif 10643-10648
(=>
    (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 17782-17791


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