Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Inheriting(inheriting) |  | inherit |
| appearance as argument number 1 |
|
|
| (subclass Inheriting UnilateralGetting) | Mid-level-ontology.kif 20535-20535 | Inheriting is a subclass of unilateral getting |
| (documentation Inheriting EnglishLanguage "Any UnilateralGetting where the agent receives some part of the property of a person upon the death of the person.") | Mid-level-ontology.kif 20536-20538 | Inheriting is a subclass of unilateral getting |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?INHERIT Inheriting) (agent ?INHERIT ?HEIR) (instance ?HEIR Human) (origin ?INHERIT ?PERSON) (instance ?PERSON Human) (patient ?INHERIT ?PROPERTY) (instance ?PROPERTY Object)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (earlier (WhenFn ?DEATH) (WhenFn ?INHERIT)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (possesses ?PERSON ?PROPERTY)) (confersRight ?PERSON ?HEIR (possesses ?HEIR ?PROPERTY))))) |
Mid-level-ontology.kif 20540-20561 | If All of the following hold: (1) X is an instance of inheriting (2) Y is an agent of X (3) Y is an instance of human (4) X originates at Z (5) Z is an instance of human (6) W is a patient of X (7) W is an instance of object, then there exists V such that V is an instance of death, Z experiences V, the time of existence of V happens earlier than the time of existence of X, Z possesses W holds during immediately before the time of existence of V, and Y allows Y possesses W to perform task of the type Z |
|