Death - Sigma Knowledge base Browser

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	If a process is an instance of death and an agent is an instance of organism and the agent experiences the process, then there exists an entity such that the entity is a result of the process and the entity is an instance of organic object and dead is an attribute of the entity holds during after the time of existence of the process and if another entity is a part of the entity holds during immediately after the time of existence of the process, then the other entity is a part of the agent holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 207-216	If a process is an instance of death and an entity is an instance of OrganismRemains and an agent is an instance of organism and another entity is a part of the entity holds during a time interval and the other entity is a part of the agent holds during another time interval and the other time interval happens earlier than the time interval and the agent experiences the process, then the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 195-204	If a process is an instance of death and an entity is an instance of OrganismRemains and an agent is an instance of organism and another entity is a part of the entity holds during a time interval and the other entity is a part of the agent holds during another time interval and the other time interval happens earlier than the time interval and the entity is a result of the process, then the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 241-247	If an entity is an instance of a dead a kind of organism and a process is an instance of death and the entity is a result of the process and an agent experiences the process, then the agent is an instance of a kind of organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 250-258	If an entity is an instance of organic object and a process is an instance of death and an agent experiences the process and the agent is an instance of the agentTYPE and the agent is a subclass of organism and the entity is a result of the process, then the entity is an instance of a dead the agentTYPE
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 177-184	If an entity is an instance of organic object and a process is an instance of death and an agent is an instance of organism and the agent experiences the process and the entity is a result of the process, then the entity is an instance of OrganismRemains

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 if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string 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 if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string 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 if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string 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	If a transfer is an instance of bequeathing and an agent is an agent of the transfer and the transfer ends up at an entity and the object transferred in the transfer is the agentROP, then there exists a process such that the process is an instance of death and the agent experiences the process and the time of existence of the process happens earlier than the time of existence of the transfer and the agent possesses the agentROP holds during immediately before the time of existence of the process and the agent confers norm the entity possesses the agentROP for permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9645-9652	If a process is an instance of birth and an agent experiences the process, then there exists another process such that the other process is an instance of death and the agent experiences the other process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 982-986	If an attribute is an instance of life threatening disease and the attribute is an attribute of an object, then the object is capable of doing death as a experiencer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16324-16342	If a process is an instance of inheriting and a cognitive agent is an agent of the process and the process originates at an agent and an entity is a patient of the process, then there exists another process such that the other process is an instance of death and the agent experiences the other process and the time of existence of the other process happens earlier than the time of existence of the process and the agent possesses the entity holds during immediately before the time of existence of the other process and the agent allows the cognitive agent to perform task of the type the cognitive agent possesses the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11481-11489	If a process is an instance of killing and an agent is a patient of the process, then there exists another process such that the other process is an instance of death and the agent experiences the other process and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22032-22038	If a day is a deathdate of a human, then there exists a process such that the process is an instance of death and the human experiences the process and date of the process is the day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22047-22053	If an object is a deathplace of an animal, then there exists a process such that the process is an instance of death and the animal experiences the process and the process is located at 2
No TPTP formula. May not be expressible in strict first order.	WMD.kif 851-858	If a real number is a disease mortality of a disease or syndrome, then probability of the disease or syndrome is an attribute of an entity provided that there exists another entity such that the other entity is an instance of death and the entity experiences the other entity holds is the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13689-13694	If an entity is an instance of funeral, then there exists another entity such that the other entity is an instance of death and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 187-192	If an entity is an instance of OrganismRemains, then there exists a process such that the process is an instance of death and the entity is a result of the process

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