Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| OrganismRemains(organism remains) |
| appearance as argument number 1 |
|
| s__subclass(s__OrganismRemains,s__OrganicObject)
|
Merge.kif 18823-18823 | Organism remains is a subclass of organic object |
| s__documentation(s__OrganismRemains, s__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 Organisms 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_)_") | Merge.kif 18824-18834 | Organism remains is a subclass of organic object |
| appearance as argument number 2 |
|
|
| s__rangeSubclass(s__DeadFn,s__OrganismRemains)
|
Merge.kif 18838-18838 | The values returned by Dead fn are subclasses of organism remains |
| s__subclass(s__HumanCorpse,s__OrganismRemains)
|
Mid-level-ontology.kif 88-88 | Human corpse is a subclass of organism remains |
| s__termFormat(s__EnglishLanguage, s__OrganismRemains, "organism remains") | domainEnglishFormat.kif 65278-65278 | Human corpse is a subclass of organism remains |
| antecedent |
|
|
| ! [V__X : $i] : ((s__instance(V__X, s__OrganismRemains) => s__holdsDuring(s__WhenFn(V__X), s__attribute(V__X, s__Dead)))) | Mid-level-ontology.kif 28-30 | If X is an instance of organism remains, then dead is an attribute of X holds during the time of existence of X |
| ! [V__OBJ : $i,V__REM : $i] : (((s__instance(V__REM, s__OrganismRemains) & s__holdsDuring(s__WhenFn(V__REM), s__part(V__OBJ, V__REM))) => ( ? [V__ORG:$i] : ((s__instance(V__ORG, s__Organism) & s__earlier(s__WhenFn(V__ORG), s__WhenFn(V__REM)) & s__finishes(s__WhenFn(V__REM), s__WhenFn(V__ORG)) & s__holdsDuring(s__WhenFn(V__ORG), s__part(V__OBJ, V__ORG))))))) | Mid-level-ontology.kif 32-43 | 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 |
| ! [V__REM] : ((s__instance(V__REM,s__OrganismRemains) => (? [V__DEATH] : ((s__instance(V__DEATH,s__Death) & s__result(V__DEATH,V__REM))))) )
|
Mid-level-ontology.kif 54-59 | 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 |
| ! [V__DEATH : $i,V__OBJ : $i,V__ORG : $i,V__REM : $i,V__T1 : $i,V__T2 : $i] : (((s__instance(V__DEATH, s__Death) & s__instance(V__REM, s__OrganismRemains) & s__instance(V__ORG, s__Organism) & s__holdsDuring(V__T2, s__part(V__OBJ, V__REM)) & s__holdsDuring(V__T1, s__part(V__OBJ, V__ORG)) & s__earlier(V__T1, V__T2) & s__result(V__DEATH, V__REM)) => s__experiencer(V__DEATH, V__ORG))) | Mid-level-ontology.kif 61-70 | 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 |
| ! [V__DEATH : $i,V__OBJ : $i,V__ORG : $i,V__REM : $i,V__T1 : $i,V__T2 : $i] : (((s__instance(V__DEATH, s__Death) & s__instance(V__REM, s__OrganismRemains) & s__instance(V__ORG, s__Organism) & s__holdsDuring(V__T2, s__part(V__OBJ, V__REM)) & s__holdsDuring(V__T1, s__part(V__OBJ, V__ORG)) & s__earlier(V__T1, V__T2) & s__experiencer(V__DEATH, V__ORG)) => s__result(V__DEATH, V__REM))) | Mid-level-ontology.kif 72-81 | 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 |
| ! [V__ORG,V__ORGTYPE,V__REM,V__DEATH] : (((s__instance(V__ORG,s__AutonomousAgent) & s__instance(V__ORGTYPE,s__Class) & s__subclass(V__ORGTYPE,s__OrganicObject)) => ((s__instance(V__REM,s__OrganismRemains) & s__instance(V__DEATH,s__Death) & s__experiencer(V__DEATH,V__ORG) & s__instance(V__ORG,V__ORGTYPE) & s__subclass(V__ORGTYPE,s__OrganicObject) & s__result(V__DEATH,V__REM)) => s__instance(V__REM,s__DeadFn(V__ORGTYPE)))) )
|
Mid-level-ontology.kif 109-117 | 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 |
|
|
| ! [V__REM,V__DEATH,V__ORG] : (((s__instance(V__REM,s__OrganicObject) & s__instance(V__DEATH,s__Death) & s__instance(V__ORG,s__Organism) & s__experiencer(V__DEATH,V__ORG) & s__result(V__DEATH,V__REM)) => s__instance(V__REM,s__OrganismRemains)) )
|
Mid-level-ontology.kif 45-52 | 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 |
|