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


(documentation changesLocation ChineseLanguage "(changesLocation ?EVENT ?OBJECT)的意思是当 Translocation 事件 ?EVENT 发生时,?OBJECT 的位置改变了。?OBJECT 也可以是 ?EVENT 的 agentpatientexperiencer。") chinese_format.kif 2994-2996
(documentation changesLocation EnglishLanguage "(changesLocation ?EVENT ?OBJECT) means that during the Translocation event ?EVENT, ?OBJECT's location changes. ?OBJECT might also be the agent, patient, or experiencer of ?EVENT.") Merge.kif 10141-10144
(domain changesLocation 1 Translocation) Merge.kif 10138-10138 The number 1 argument of changes location is an instance of translocation
(domain changesLocation 2 Object) Merge.kif 10139-10139 The number 2 argument of changes location is an instance of object
(instance changesLocation CaseRole) Merge.kif 10136-10136 changes location is an instance of case role
(instance changesLocation TotalValuedRelation) Merge.kif 10137-10137 changes location is an instance of total valued relation
(subrelation changesLocation moves) Merge.kif 10146-10146 changes location is a subrelation of moves

appearance as argument number 2
-------------------------


(format ChineseLanguage changesLocation "%2 %n 是 %3 的 changes 地点") domainEnglishFormat.kif 428-428
(format ChineseTraditionalLanguage changesLocation "%2 %n 是 %3 的 changes 地點") domainEnglishFormat.kif 427-427
(format EnglishLanguage changesLocation "%2 %n{doesn't} change%{s} location during %1") MilitaryPersons.kif 669-669
(format EnglishLanguage changesLocation "%2 is %n a changes location of %1") domainEnglishFormat.kif 426-426
(termFormat ChineseLanguage changesLocation "改变位置") domainEnglishFormat.kif 14065-14065 "改变位置" is the printable form of changes location in ChineseLanguage
(termFormat ChineseTraditionalLanguage changesLocation "改變位置") domainEnglishFormat.kif 14064-14064 "改變位置" is the printable form of changes location in ChineseTraditionalLanguage
(termFormat EnglishLanguage changesLocation "changes location") domainEnglishFormat.kif 14063-14063 "changes location" is the printable form of changes location in english language

antecedent
-------------------------


(=>
    (changesLocation ?EVENT ?OBJ)
    (and
        (instance ?EVENT Translocation)
        (instance ?OBJ Object)
        (or
            (patient ?EVENT ?OBJ)
            (agent ?EVENT ?OBJ)
            (experiencer ?EVENT ?OBJ))))
Merge.kif 10149-10157


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