| 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 29-39 | |
| (subclass OrganismRemains OrganicObject) | Mid-level-ontology.kif 28-28 |
| appearance as argument number 2 |
|
|
| (rangeSubclass DeadFn OrganismRemains) | Merge.kif 18610-18610 | |
| (subclass HumanCorpse OrganismRemains) | Mid-level-ontology.kif 101-101 | |
| (termFormat EnglishLanguage OrganismRemains "organism remains") | domainEnglishFormat.kif 65298-65298 |
| 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 85-94 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (instance ?REM OrganismRemains) (exists (?DEATH) (and (instance ?DEATH Death) (result ?DEATH ?REM)))) |
Mid-level-ontology.kif 67-72 | |
| (=> (instance ?X OrganismRemains) (holdsDuring (WhenFn ?X) (attribute ?X Dead))) |
Mid-level-ontology.kif 41-43 |
| 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 |
|
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