changesLocation - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__changesLocation__m,s__ChineseLanguage,'"(changesLocation ?EVENT ?OBJECT)的意思是当 Translocation 事件 ?EVENT 发生时，?OBJECT 的位置改变了。?OBJECT 也可以是 ?EVENT 的 agent、patient 或 experiencer。"')	chinese_format.kif 2994-2996
s__documentation(s__changesLocation__m,s__EnglishLanguage,'"(changesLocation ?EVENT ?OBJECT) means that during the Translocation event ?EVENT, ?OBJECTs location changes. ?OBJECT might also be the agent, patient, or experiencer of ?EVENT."')	Merge.kif 10285-10288
s__domain(s__changesLocation__m,n__1,s__Translocation)	Merge.kif 10282-10282	The number 1 argument of changes location is an instance of translocation
s__domain(s__changesLocation__m,n__2,s__Object)	Merge.kif 10283-10283	The number 2 argument of changes location is an instance of object
s__instance(s__CaseRole,s__SetOrClass) s__instance(s__changesLocation__m,s__CaseRole)	Merge.kif 10280-10280	changes location is an instance of case role
s__instance(s__TotalValuedRelation,s__SetOrClass) s__instance(s__changesLocation__m,s__TotalValuedRelation)	Merge.kif 10281-10281	changes location is an instance of total valued relation
s__subrelation(s__changesLocation__m,s__moves__m)	Merge.kif 10290-10290	changes location is a subrelation of moves

appearance as argument number 2

s__format(s__ChineseLanguage,s__changesLocation__m,'"%2 %n 是 %3 的 changes 地点"')	domainEnglishFormat.kif 428-428
s__format(s__ChineseTraditionalLanguage,s__changesLocation__m,'"%2 %n 是 %3 的 changes 地點"')	domainEnglishFormat.kif 427-427
s__format(s__EnglishLanguage,s__changesLocation__m,'"%2 %n{doesnt} change%{s} location during %1"')	MilitaryPersons.kif 669-669
s__format(s__EnglishLanguage,s__changesLocation__m,'"%2 is %n a changes location of %1"')	domainEnglishFormat.kif 426-426
s__termFormat(s__ChineseLanguage,s__changesLocation__m,'"改变位置"')	domainEnglishFormat.kif 14068-14068
s__termFormat(s__ChineseTraditionalLanguage,s__changesLocation__m,'"改變位置"')	domainEnglishFormat.kif 14067-14067
s__termFormat(s__EnglishLanguage,s__changesLocation__m,'"changes location"')	domainEnglishFormat.kif 14066-14066

antecedent

( ! [V__OBJ,V__EVENT] :
   (((s__instance(V__OBJ,s__Agent) &
         s__instance(V__EVENT,s__Translocation))
       =>
       ((s__changesLocation(V__EVENT,V__OBJ)
         =>
         ((s__instance(V__EVENT,s__Translocation) &
             s__instance(V__OBJ,s__Object) &
             (s__patient(V__EVENT,V__OBJ)
             |
             s__agent(V__EVENT,V__OBJ)
           |
           s__experiencer(V__EVENT,V__OBJ)))))))
)
)

Merge.kif 10293-10301