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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Asleep
Asleep(asleep)
NREM, NREM_sleep, REM, REM_sleep, asleep, at_rest, beauty_sleep, cat_sleep, catch_a_wink, catch_some_Z's, catnap, dormant, doze, dreamless, drowse, fast_asleep, forty_winks, heavy, hibernating, kip, light, log_Z's, nap, nonrapid_eye_movement, nonrapid_eye_movement_sleep, orthodox_sleep, paradoxical_sleep, profound, rapid_eye_movement, rapid_eye_movement_sleep, short_sleep, shuteye, siesta, sleep, sleep_off, sleeping, slumber, snooze, sopor, sound, sound_asleep, torpid, unawakened, wakeful, wakeless, waking, zizz, 眠っている, 睡着

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


(documentation Asleep ChineseLanguage "这是指当 Organism 正在睡觉的 Attribute。") Merge.kif 18713-18713
(documentation Asleep EnglishLanguage "Attribute that applies to Organisms that are sleeping.") Merge.kif 18711-18712
(externalImage Asleep "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ people/ faces/ faces_4/ asleep.png") pictureList.kif 242-242 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ faces/ faces_4/ asleep.png" is a URL depicting asleep
(instance Asleep ConsciousnessAttribute) Merge.kif 18710-18710 Asleep is an instance of consciousness attribute

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


(termFormat ChineseLanguage Asleep "睡着") chinese_format.kif 1266-1266 "睡着" is the printable form of asleep in ChineseLanguage
(termFormat EnglishLanguage Asleep "asleep") english_format.kif 1879-1879 "asleep" is the printable form of asleep in english language
(termFormat JapaneseLanguage Asleep "眠っている") english_format.kif 1880-1880 "眠っている" is the printable form of asleep in japanese language

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


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

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


(=>
    (and
        (instance ?DREAM Dreaming)
        (experiencer ?DREAM ?AGENT))
    (holdsDuring
        (WhenFn ?DREAM)
        (attribute ?AGENT Asleep)))
Mid-level-ontology.kif 15931-15935
(=>
    (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 ?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
(=>
    (instance ?BED Bed)
    (hasPurpose ?BED
        (exists (?PERSON)
            (and
                (attribute ?PERSON Asleep)
                (located ?PERSON ?BED)))))
Mid-level-ontology.kif 4301-4306
(=>
    (instance ?X Crib)
    (hasPurpose ?X
        (exists (?BABY)
            (and
                (instance ?BABY HumanBaby)
                (attribute ?BABY Asleep)
                (located ?BABY ?X)))))
Mid-level-ontology.kif 4475-4482
(=>
    (instance ?X DoubleBed)
    (modalAttribute
        (exists (?P1 ?P2)
            (and
                (not
                    (equal ?P1 ?P2))
                (not
                    (equal ?P2 ?P3))
                (attribute ?P1 Asleep)
                (attribute ?P2 Asleep)
                (instance ?P1 Human)
                (instance ?P2 Human)
                (holdsDuring ?TIME
                    (and
                        (located ?P1 ?X)
                        (located ?P2 ?X))))) Possibility))
Mid-level-ontology.kif 4377-4391
(=>
    (instance ?X KingBed)
    (modalAttribute
        (exists (?P1 ?P2 ?P3 ?TIME)
            (and
                (not
                    (equal ?P1 ?P2))
                (not
                    (equal ?P2 ?P3))
                (not
                    (equal ?P1 ?P3))
                (attribute ?P1 Asleep)
                (attribute ?P2 Asleep)
                (attribute ?P3 Asleep)
                (instance ?P1 Human)
                (instance ?P2 Human)
                (instance ?P3 Human)
                (holdsDuring ?TIME
                    (and
                        (located ?P1 ?X)
                        (located ?P2 ?X)
                        (located ?P3 ?X))))) Possibility))
Mid-level-ontology.kif 4319-4337
(=>
    (instance ?X Mattress)
    (hasPurpose ?X
        (exists (?PERSON)
            (and
                (attribute ?PERSON Asleep)
                (orientation ?PERSON ?X On)))))
Mid-level-ontology.kif 4523-4529
(=>
    (instance ?X QueenBed)
    (modalAttribute
        (exists (?P1 ?P2)
            (and
                (not
                    (equal ?P1 ?P2))
                (not
                    (equal ?P2 ?P3))
                (attribute ?P1 Asleep)
                (attribute ?P2 Asleep)
                (instance ?P1 Human)
                (instance ?P2 Human)
                (holdsDuring ?TIME
                    (and
                        (located ?P1 ?X)
                        (located ?P2 ?X))))) Possibility))
Mid-level-ontology.kif 4350-4364


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