![]() |
![]() ![]() ![]()
|
![]() |
|
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 |
![]() |
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 |
|
![]() |
![]() |