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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13078-13078 Falling asleep is disjoint from waking up
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13079-13080
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8480-8480
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9204-9204
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13077-13077 Falling asleep is a subclass of psychological process

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23175-23175
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23174-23174
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23173-23173

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


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


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