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 18279-18279 Dead is the opposite of living
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4016-4016 Dead is the opposite of living
No TPTP formula. May not be expressible in strict first order. Merge.kif 18280-18281 Dead is the opposite of living
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3062-3062 Dead is the opposite of living
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2944-2944 Dead is the opposite of living
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3061-3061 Dead is the opposite of living
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3063-3063 Dead is the opposite of living
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3060-3060 Dead is the opposite of living
No TPTP formula. May not be expressible in strict first order. Merge.kif 18277-18277 Dead is an instance of animacy attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 18278-18278 Dead is a subattribute of unconscious

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18741-18741
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18740-18740
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18739-18739

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


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

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


No TPTP formula. May not be expressible in strict first order. Law.kif 486-495

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10362-10377
No TPTP formula. May not be expressible in strict first order. Merge.kif 12455-12461
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23754-23762
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23948-23962
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 792-798
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 806-812
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8007-8013
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 41-43
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23744-23752


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