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 16944-16945
(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 16943-16943 instance Awake and ConsciousnessAttribute

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


(contraryAttribute Unconscious Awake) Merge.kif 16938-16938 contraryAttribute Unconscious and Awake
(termFormat ChineseLanguage Awake "觉醒") chinese_format.kif 1268-1268
(termFormat EnglishLanguage Awake "awake") english_format.kif 1762-1762

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


(=>
    (or
        (attribute ?AGENT Asleep)
        (attribute ?AGENT Awake))
    (attribute ?AGENT Living))		 Merge.kif 16947-16951

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 14026-14035
(=>
    (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 14055-14067
(=>
    (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 14074-14084
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?HUMAN)
        (instance ?HUMAN Animal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?HUMAN Awake)))		 Merge.kif 9853-9858
(=>
    (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 14041-14050


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