TreeView Knowledge Base Browser

appearance as argument number 1

(documentation changesLocation ChineseLanguage "(changesLocation ?EVENT ?OBJECT)的意思是当 Translocation 事件 ?EVENT 发生时，?OBJECT 的位置改变了。?OBJECT 也可以是 ?EVENT 的 agent、patient 或 experiencer。")	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 11029-11032
(documentation changesLocation JapaneseLanguage "(changesLocation ?EVENT ?OBJECT) は、 Translocation イベント ?EVENT の最中に ?OBJECT's 位置が変更されたことを意味する。?OBJECT は、 ?EVENT の patient、experiencer、または experiencer でもある可能性がある。")	japanese_format.kif 1754-1756
(domain changesLocation 1 Translocation)	Merge.kif 11026-11026
(domain changesLocation 2 Object)	Merge.kif 11027-11027
(instance changesLocation CaseRole)	Merge.kif 11024-11024
(instance changesLocation TotalValuedRelation)	Merge.kif 11025-11025
(subrelation changesLocation moves)	Merge.kif 11034-11034

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 14124-14124
(termFormat ChineseTraditionalLanguage changesLocation "改變位置")	domainEnglishFormat.kif 14123-14123
(termFormat EnglishLanguage changesLocation "changes location")	domainEnglishFormat.kif 14122-14122

antecedent

(=>
    (changesLocation ?EVENT ?OBJ)
    (and
        (instance ?EVENT Translocation)
        (instance ?OBJ Object)
        (or
            (patient ?EVENT ?OBJ)
            (agent ?EVENT ?OBJ)
            (experiencer ?EVENT ?OBJ))))

Merge.kif 11037-11045