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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
-------------------------


s__disjoint(s__FallingAsleep,s__WakingUp)

Mid-level-ontology.kif 14672-14672 Falling asleep is disjoint from waking up
s__documentation(s__FallingAsleep,s__EnglishLanguage,'"The process of transitioning from a state of being Awake to a state of being Asleep."')

Mid-level-ontology.kif 14673-14674
s__externalImage(s__FallingAsleep,'"http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Vermeer_-_Girl_Asleep.jpg"')

pictureList.kif 8479-8479
s__externalImage(s__FallingAsleep,'"http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Neko_animation_steps_-_falling_asleep.png"')

pictureList.kif 9203-9203
s__instance(s__PsychologicalProcess,s__SetOrClass)

s__instance(s__FallingAsleep,s__SetOrClass)

s__subclass(s__FallingAsleep,s__PsychologicalProcess)

Mid-level-ontology.kif 14671-14671 Falling asleep is a subclass of psychological process

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


s__termFormat(s__ChineseLanguage,s__FallingAsleep,'"沉沉睡去"')

domainEnglishFormat.kif 23175-23175
s__termFormat(s__ChineseTraditionalLanguage,s__FallingAsleep,'"沉沉睡去"')

domainEnglishFormat.kif 23174-23174
s__termFormat(s__EnglishLanguage,s__FallingAsleep,'"falling asleep"')

domainEnglishFormat.kif 23173-23173

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14676-14685


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