Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - changesLocation
changesLocation

appearance as argument number 1
-------------------------


s__documentation(s__changesLocation__m,s__ChineseLanguage,'"(changesLocation ?EVENT ?OBJECT)的意思是当 Translocation 事件 ?EVENT 发生时,?OBJECT 的位置改变了。?OBJECT 也可以是 ?EVENT 的 agentpatientexperiencer。"')

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners