TreeView Knowledge Base Browser

appearance as argument number 1

(documentation OrganismRemains EnglishLanguage "An instance of OrganismRemains is Dead matter of a formerly Living Organism: Plant, Animal, or Microorganism. An instance of OrganismRemains might or might not be recognizable as the remains of a particular kind or species of organism, depending on the cause of the Organism's Death (heart failure, stroke, roadkill, dismemberment, etc.), the elapsed time since death, the speed of decomposition, and any post-mortem processing of the dead organism (embalming, cremation, mummification, boiling, consumption as food, etc.).")	Mid-level-ontology.kif 27-37
(subclass OrganismRemains OrganicObject)	Mid-level-ontology.kif 26-26	OrganismRemains is a subclass of organic object

appearance as argument number 2

(rangeSubclass DeadFn OrganismRemains)	Mid-level-ontology.kif 109-109	The values returned by DeadFn are subclasses of OrganismRemains
(subclass HumanCorpse OrganismRemains)	Mid-level-ontology.kif 99-99	Human corpse is a subclass of OrganismRemains

antecedent

(=> (and (instance ?DEATH Death) (instance ?REM OrganismRemains) (instance ?ORG Organism) (holdsDuring ?T2 (part ?OBJ ?REM)) (holdsDuring ?T1 (part ?OBJ ?ORG)) (earlier ?T1 ?T2) (experiencer ?DEATH ?ORG)) (result ?DEATH ?REM))	Mid-level-ontology.kif 83-92	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
(=> (and (instance ?DEATH Death) (instance ?REM OrganismRemains) (instance ?ORG Organism) (holdsDuring ?T2 (part ?OBJ ?REM)) (holdsDuring ?T1 (part ?OBJ ?ORG)) (earlier ?T1 ?T2) (result ?DEATH ?REM)) (experiencer ?DEATH ?ORG))	Mid-level-ontology.kif 72-81	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
(=> (and (instance ?REM OrganismRemains) (holdsDuring (WhenFn ?REM) (part ?OBJ ?REM))) (exists (?ORG) (and (instance ?ORG Organism) (earlier (WhenFn ?ORG) (WhenFn ?REM)) (finishes (WhenFn ?REM) (WhenFn ?ORG)) (holdsDuring (WhenFn ?ORG) (part ?OBJ ?ORG)))))	Mid-level-ontology.kif 43-54	If a physical is an instance of OrganismRemains 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
(=> (instance ?REM OrganismRemains) (exists (?DEATH) (and (instance ?DEATH Death) (result ?DEATH ?REM))))	Mid-level-ontology.kif 65-70	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
(=> (instance ?X OrganismRemains) (holdsDuring (WhenFn ?X) (attribute ?X Dead)))	Mid-level-ontology.kif 39-41	If a physical is an instance of OrganismRemains, then dead is an attribute of the physical holds during the time of existence of the physical

consequent

(=>
    (and
        (instance ?REM OrganicObject)
        (instance ?DEATH Death)
        (instance ?ORG Organism)
        (experiencer ?DEATH ?ORG)
        (result ?DEATH ?REM))
    (instance ?REM OrganismRemains))

Mid-level-ontology.kif 56-63

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

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

KB Term:			Term intersection

English Word: