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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Asleep

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4041-4041
No TPTP formula. May not be expressible in strict first order. Merge.kif 17681-17682
No TPTP formula. May not be expressible in strict first order. pictureList.kif 242-242
No TPTP formula. May not be expressible in strict first order. Merge.kif 17680-17680 Asleep is an instance of consciousness attribute

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1266-1266
No TPTP formula. May not be expressible in strict first order. english_format.kif 1753-1753

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17689-17696
No TPTP formula. May not be expressible in strict first order. Merge.kif 17708-17712

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17598-17602
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15774-15783
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15789-15798
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15827-15833
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3700-3705
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3872-3879
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3775-3788
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3718-3736
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3920-3926
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3749-3762


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 is open source software produced by Articulate Software and its partners