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


KB Term:  Term intersection
English Word: 

  FallingAsleep

 Sigma KEE - FallingAsleep
FallingAsleep(falling asleep)
dope_off, doze_off, drift_off, drop_off, drowse_off, fall_asleep, flake_out, nod_off, zonk_out

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


(subclass FallingAsleep PsychologicalProcess) Mid-level-ontology.kif 18008-18008 Falling asleep is a subclass of psychological process
(disjoint FallingAsleep WakingUp) Mid-level-ontology.kif 18009-18009 Falling asleep is disjoint from waking up
(documentation FallingAsleep EnglishLanguage "The process of transitioning from a state of being Awake to a state of being Asleep.") Mid-level-ontology.kif 18010-18011 Falling asleep is disjoint from waking up
(externalImage FallingAsleep "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Vermeer_-_Girl_Asleep.jpg") pictureList.kif 8476-8476 Falling asleep is disjoint from waking up
(externalImage FallingAsleep "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Neko_animation_steps_-_falling_asleep.png") pictureList.kif 9198-9198 Falling asleep is disjoint from waking up

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


(termFormat EnglishLanguage FallingAsleep "falling asleep") domainEnglishFormat.kif 23176-23176
(termFormat ChineseTraditionalLanguage FallingAsleep "沉沉睡去") domainEnglishFormat.kif 23177-23177
(termFormat ChineseLanguage FallingAsleep "沉沉睡去") domainEnglishFormat.kif 23178-23178

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


(=>
    (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 18013-18022 If X is an instance of falling asleep and Y experiences X, then there exist Z, W such that Z starts the time of existence of X, W finishes the time of existence of X, awake is an attribute of Y holds during Z, and asleep is an attribute of Y holds during W


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners