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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Death
Death(death)
more pictures...
Crucifixion, Death, SIDS, brain_death, buy_it, buy_the_farm, cash_in_one's_chips, casualty, cerebral_death, choke, collateral_damage, conk, cot_death, crib_death, croak, deadly, death, deathly, decease, departure, deucedly, devilishly, die, die_off, die_out, drop_dead, drown, exit, expiration, expire, expiry, fall, famish, fatal_accident, fatality, give-up_the_ghost, go, going, grave, human_death, in_extremis, infant_death, insanely, kick_the_bucket, kill, last, loss, madly, martyrdom, megadeath...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2905-2905
No TPTP formula. May not be expressible in strict first order. Merge.kif 9656-9656
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6349-6349
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6350-6350
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6351-6351
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6352-6352
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5950-5950
No TPTP formula. May not be expressible in strict first order. Merge.kif 9654-9654 Death is a subclass of organism process

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1077-1077
No TPTP formula. May not be expressible in strict first order. english_format.kif 1370-1370

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


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. Mid-level-ontology.kif 207-216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 195-204
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 241-247
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 250-258
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 177-184

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


No TPTP formula. May not be expressible in strict first order. People.kif 138-151 The deaths per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 253-277 The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to a number and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 411-442 The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 323-353 The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 367-398 The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16379-16395
No TPTP formula. May not be expressible in strict first order. Merge.kif 9645-9652
No TPTP formula. May not be expressible in strict first order. WMD.kif 982-986
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16324-16342
No TPTP formula. May not be expressible in strict first order. Merge.kif 11481-11489
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22032-22038
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22047-22053
No TPTP formula. May not be expressible in strict first order. WMD.kif 851-858
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13689-13694
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 187-192


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