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 17763-17763 Falling asleep is disjoint from waking up
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17764-17765 Falling asleep is disjoint from waking up
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8476-8476 Falling asleep is disjoint from waking up
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9198-9198 Falling asleep is disjoint from waking up
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17762-17762 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 23185-23185
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23184-23184
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23183-23183

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


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


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