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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Dead

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 17837-17837 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 17838-17839
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 17835-17835 Dead is an instance of animacy attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17836-17836 Dead is a subattribute of unconscious

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18723-18723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18722-18722
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18721-18721

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17822-17822 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 10136-10151
No TPTP formula. May not be expressible in strict first order. Merge.kif 12081-12087
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21592-21600
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21787-21801
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 6510-6516
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 39-41
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21582-21590


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