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 11118-11121
(documentation changesLocation JapaneseLanguage "(changesLocation ?EVENT ?OBJECT) は、 Translocation イベント ?EVENT の最中に ?OBJECT's 位置が変更されたことを意味する。?OBJECT は、 ?EVENT の patientexperiencer、または experiencer でもある可能性がある。") japanese_format.kif 1754-1756
(domain changesLocation 1 Translocation) Merge.kif 11115-11115 changesLocation の数値 1 引数は Translocationinstance では
(domain changesLocation 2 Object) Merge.kif 11116-11116 changesLocation の数値 2 引数は オブジェクトinstance では
(instance changesLocation CaseRole) Merge.kif 11113-11113 changesLocation格役割instance では
(instance changesLocation TotalValuedRelation) Merge.kif 11114-11114 changesLocation合計値関係instance では
(subrelation changesLocation moves) Merge.kif 11123-11123 changesLocationmovessubrelation では

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%p{s} location during %1") MilitaryPersons.kif 683-683
(format EnglishLanguage changesLocation "%2 is %n a changes location of %1") domainEnglishFormat.kif 426-426
(termFormat ChineseLanguage changesLocation "改变位置") domainEnglishFormat.kif 14133-14133
(termFormat ChineseTraditionalLanguage changesLocation "改變位置") domainEnglishFormat.kif 14132-14132
(termFormat EnglishLanguage changesLocation "changes location") domainEnglishFormat.kif 14131-14131

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


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


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