OrganismRemains - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - OrganismRemains

OrganismRemains(organism remains)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29-39
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28-28	Organism remains is a subclass of organic object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18576-18576	The values returned by Dead fn are subclasses of organism remains
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 101-101	Human corpse is a subclass of organism remains
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65298-65298	Human corpse is a subclass of organism remains

antecedent

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 45-56	If a physical is an instance of organism remains and an entity is a part of the physical holds during the time of existence of the physical, then there exists another physical such that the other physical is an instance of organism and the time of existence of the other physical happens earlier than the time of existence of the physical and the time of existence of the physical finishes the time of existence of the other physical and the entity is a part of the other physical holds during the time of existence of the other physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 122-130	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.	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.	Mid-level-ontology.kif 41-43	If a physical is an instance of organism remains, then dead is an attribute of the physical holds during the time of existence of the physical

consequent

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

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