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 19627-19628 | |
(subclass MovingResidence Transfer) | Mid-level-ontology.kif 19626-19626 | MovingResidence est une sous-classe de transf�re |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage MovingResidence "搬家") | domainEnglishFormat.kif 39050-39050 | |
(termFormat ChineseTraditionalLanguage MovingResidence "搬家") | domainEnglishFormat.kif 39049-39049 | |
(termFormat EnglishLanguage MovingResidence "moving") | domainEnglishFormat.kif 39048-39048 |
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 19630-19638 |
|
![]() |
![]() |