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 16761-16761 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 16762-16763
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 16759-16759 Dead is an instance of animacy attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16760-16760 Dead is a subattribute of unconscious

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18655-18655
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18654-18654
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18653-18653

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16746-16746 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 9612-9627
No TPTP formula. May not be expressible in strict first order. Merge.kif 11418-11424
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19965-19973
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20200-20214
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 745-751
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 759-765
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6512-6518
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 19955-19963


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners