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


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 3.0 is open source software produced by Articulate Software and its partners