TreeView Knowledge Base Browser - Death

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 10208-10208
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1654-1654
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6348-6348
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 5949-5949
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10206-10206	Death is a subclass of organism process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6300-6300	Asphyxiation is a subclass of death
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6316-6316	Bleedout is a subclass of death
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 1365-1365
No TPTP formula. May not be expressible in strict first order.	french_format.kif 755-755
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 287-287
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 290-290
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2439-2439
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 707-707
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 292-292
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 326-326
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 776-776
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 291-291

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	If a process is an instance of bleeding and an entity is an instance of death and a formula is an instance of human and an agent is an instance of human and the agent experiences the process and the formula is near to the agent and the statement the process causes the entity has the modal force of likely, then there exists another entity such that the other entity is an instance of attaching and the formula is an agent of the other entity and the other entity ends up at the agent is obliged to perform tasks of type the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10222-10237	If a process is an instance of death and an agent is an instance of organism and the agent experiences the process, then there exist an entity and another 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 the other 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 85-94	If a process is an instance of death and an entity is an instance of organism remains 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 74-83	If a process is an instance of death and an entity is an instance of organism remains 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 121-127	If an entity is an instance of a dead a kind of organic object 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 organic object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 58-65	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 organism remains
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 129-137	If an entity is an instance of organism remains 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 agentTYPE is a subclass of organic object 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.	Biography.kif 280-296	If a content bearing physical is an instance of DeathCertificate and a process is an instance of death and an agent is an instance of human and the agent experiences the process, then the content bearing physical contains the formula there exist the processAY, another entity,, , a third entity and the other entityROC such that the processAY is a deathdate of the agent and the processAY is an instance of day and the other entity is a deathplace of the agent and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity is an instance of name and the other entityROC causes the process and the other entityROC is an instance of process

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth 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 118-133	A year is an instance of the year an integer and the deaths per thousand of a geopolitical area and the year is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to another real 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 other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	A year is an instance of the year an integer and the deaths per thousand live births of a geopolitical area and the year 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 another real 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 other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth 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 310-342	A year is an instance of the year an integer and the life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth 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.	Medicine.kif 1545-1555	If a process is an instance of anaphylaxis and an agent experiences the process, then the statement there exists an entity such that the entity is an instance of death and the agent experiences the entity and the process causes the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18679-18695	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 10197-10204	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 1029-1033	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 18621-18639	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 12313-12321	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.	Medicine.kif 5997-6017	If a time interval is an instance of TimePeriod and duration of the time interval is a real number minute duration(s) and the real number is greater than 5.0 and an entity is an instance of human and there doesn't exist a process such that the process is an instance of breathing and the time of existence of the process takes place during the time interval and the entity is a patient of the process, then the statement there exists another entity such that the other entity is an instance of death and the entity experiences the other entity and the time interval meets the time of existence of the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24284-24290	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 24300-24306	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 the object
No TPTP formula. May not be expressible in strict first order.	WMD.kif 890-900	If a real number is a disease mortality of a disease or syndrome, then probability of there exists an entity such that the entity is an instance of organism and the disease or syndrome is an attribute of the 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 20568-20578	If an entity is an instance of ICU and another entity stays at the entity holds during a time position, then the statement there exists a third entity such that the third entity is an instance of death and the time of existence of the third entity finishes the time position has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16007-16012	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 67-72	If an entity is an instance of organism remains, then there exists a process such that the process is an instance of death and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Biography.kif 270-278	If a physical is an instance of DeathCertificate, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of death and the other entity is an instance of human and the other entity experiences the entity and the physical expresses the entity

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