| Inheriting | |
| appearance as argument number 1 |
|
|
| (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 20188-20190 | |
| (subclass Inheriting UnilateralGetting) | Mid-level-ontology.kif 20187-20187 | Inheriting est une sous-classe de obtention unilat�rale |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Inheriting "继承") | domainEnglishFormat.kif 30108-30108 | |
| (termFormat ChineseTraditionalLanguage Inheriting "繼承") | domainEnglishFormat.kif 30107-30107 | |
| (termFormat EnglishLanguage Inheriting "inheriting") | domainEnglishFormat.kif 30106-30106 |
| antecedent |
|
|
| (=> (and (instance ?INHERIT Inheriting) (agent ?INHERIT ?HEIR) (origin ?INHERIT ?PERSON) (patient ?INHERIT ?PROPERTY)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (earlier (WhenFn ?DEATH) (WhenFn ?INHERIT)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (possesses ?PERSON ?PROPERTY)) (confersRight (possesses ?HEIR ?PROPERTY) ?PERSON ?HEIR)))) |
Mid-level-ontology.kif 20192-20210 |
|
|
|
|