| MovingResidence | |
| appearance as argument number 1 |
|
|
| (documentation MovingResidence EnglishLanguage "The process of changing one's residence, i.e. moving one's belongs to a new home.") | Mid-level-ontology.kif 14636-14637 | |
| (subclass MovingResidence Transfer) | Mid-level-ontology.kif 14635-14635 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MovingResidence "搬家") | domainEnglishFormat.kif 39024-39024 | |
| (termFormat ChineseTraditionalLanguage MovingResidence "搬家") | domainEnglishFormat.kif 39023-39023 | |
| (termFormat EnglishLanguage MovingResidence "moving residence") | domainEnglishFormat.kif 39022-39022 |
| antecedent |
|
|
| (=> (and (instance ?MOVE MovingResidence) (agent ?MOVE ?AGENT)) (exists (?HOME1 ?HOME2) (and (holdsDuring (BeginFn (WhenFn ?MOVE)) (home ?AGENT ?HOME1)) (holdsDuring (EndFn (WhenFn ?MOVE)) (home ?AGENT ?HOME2)) (not (equal ?HOME1 ?HOME2))))) |
Mid-level-ontology.kif 14639-14647 |
|
|
|