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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Dead
Dead(dead)
more pictures...
asleep, assassinated, bloodless, brain_dead, carcase, carcass, carrion, dead, dead_person, dead_soul, deadness, death, deceased, deceased_person, decedent, defunctness, departed, eternal_rest, eternal_sleep, exanimate, exsanguine, exsanguinous, extinction, inanimate, inanimateness, insentience, late, lifeless, lifelessness, neonatal_death, non-living, nonliving, quietus, rest, slain, sleep, stillborn, stone-dead

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16830-16830 Dead is the opposite of living
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4016-4016
No TPTP formula. May not be expressible in strict first order. Merge.kif 16831-16832
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3064-3064
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2946-2946
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3063-3063
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3065-3065
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3062-3062
No TPTP formula. May not be expressible in strict first order. Merge.kif 16828-16828 Dead is an instance of animacy attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16829-16829 Dead is a subattribute of unconscious

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18730-18730
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18729-18729
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18728-18728

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 16815-16815 Living are all the attributes of animacy attribute

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


No TPTP formula. May not be expressible in strict first order. Law.kif 524-533

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9670-9685
No TPTP formula. May not be expressible in strict first order. Merge.kif 11473-11479
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19944-19952
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20179-20193
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 747-753
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 761-767
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6485-6491
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 153-155
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19934-19942


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