| appearance as argument number 1 |
|
| (subclass OrganismRemains OrganicObject) | Mid-level-ontology.kif 28-28 | Organism remains is a subclass of organic object |
| (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 29-39 | Organism remains is a subclass of organic object |
| appearance as argument number 2 |
|
|
| (rangeSubclass DeadFn OrganismRemains) | Merge.kif 18691-18691 | The values returned by Dead fn are subclasses of organism remains |
| (subclass HumanCorpse OrganismRemains) | Mid-level-ontology.kif 101-101 | Human corpse is a subclass of organism remains |
| (termFormat EnglishLanguage OrganismRemains "organism remains") | domainEnglishFormat.kif 65278-65278 | Human corpse is a subclass of organism remains |
| antecedent |
|
|
| (=> (instance ?X OrganismRemains) (holdsDuring (WhenFn ?X) (attribute ?X Dead))) |
Mid-level-ontology.kif 41-43 | If X is an instance of organism remains, then dead is an attribute of X holds during the time of existence of X |
| (=> (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 45-56 | If X is an instance of organism remains and Y is a part of X holds during the time of existence of X, then there exists Z such that Z is an instance of organism, the time of existence of Z happens earlier than the time of existence of X, the time of existence of X finishes the time of existence of Z, and Y is a part of Z holds during the time of existence of Z |
| (=> (instance ?REM OrganismRemains) (exists (?DEATH) (and (instance ?DEATH Death) (result ?DEATH ?REM)))) |
Mid-level-ontology.kif 67-72 | If X is an instance of organism remains, then there exists Y such that Y is an instance of death and X is a result of Y |
| (=> (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 74-83 | If All of the following hold: (1) X is an instance of death (2) Y is an instance of organism remains (3) Z is an instance of organism (4) W is a part of Y holds during V (5) W is a part of Z holds during U (6) U happens earlier than V (7) Y is a result of X, then Z experiences X |
| (=> (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 85-94 | If All of the following hold: (1) X is an instance of death (2) Y is an instance of organism remains (3) Z is an instance of organism (4) W is a part of Y holds during V (5) W is a part of Z holds during U (6) U happens earlier than V (7) Z experiences X, then Y is a result of X |
| (=> (and (instance ?REM OrganismRemains) (instance ?DEATH Death) (experiencer ?DEATH ?ORG) (instance ?ORG ?ORGTYPE) (subclass ?ORGTYPE OrganicObject) (result ?DEATH ?REM)) (instance ?REM (DeadFn ?ORGTYPE))) |
Mid-level-ontology.kif 122-130 | If All of the following hold: (1) X is an instance of organism remains (2) Y is an instance of death (3) Z experiences Y (4) Z is an instance of W (5) W is a subclass of organic object (6) X is a result of Y, then X is an instance of a dead W |
| consequent |
|
|
| (=> (and (instance ?REM OrganicObject) (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG) (result ?DEATH ?REM)) (instance ?REM OrganismRemains)) |
Mid-level-ontology.kif 58-65 | If X is an instance of organic object, Y is an instance of death, Z is an instance of organism, Z experiences Y, and X is a result of Y, then X 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