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 10232-10235
s__domain(s__changesLocation__m,n__1,s__Translocation)	Merge.kif 10229-10229	The number 1 argument of changes location is an instance of translocation
s__domain(s__changesLocation__m,n__2,s__Object)	Merge.kif 10230-10230	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 10227-10227	changes location is an instance of case role
s__instance(s__TotalValuedRelation,s__SetOrClass) s__instance(s__changesLocation__m,s__TotalValuedRelation)	Merge.kif 10228-10228	changes location is an instance of total valued relation
s__subrelation(s__changesLocation__m,s__moves__m)	Merge.kif 10237-10237	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 14059-14059
s__termFormat(s__ChineseTraditionalLanguage,s__changesLocation__m,'"改變位置"')	domainEnglishFormat.kif 14058-14058
s__termFormat(s__EnglishLanguage,s__changesLocation__m,'"changes location"')	domainEnglishFormat.kif 14057-14057

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 10240-10248