changesLocation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation changesLocation ChineseLanguage "(changesLocation ?EVENT ?OBJECT)的意思是当 Translocation 事件 ?EVENT 发生时，?OBJECT 的位置改变了。?OBJECT 也可以是 ?EVENT 的 agent、patient 或 experiencer。")	Merge.kif 10958-10960
(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 10954-10957
(domain changesLocation 1 Translocation)	Merge.kif 10952-10952	The number 1 argument of changes location is an instance of translocation
(domain changesLocation 2 Object)	Merge.kif 10953-10953	The number 2 argument of changes location is an instance of object
(instance changesLocation CaseRole)	Merge.kif 10950-10950	changes location is an instance of case role
(instance changesLocation TotalValuedRelation)	Merge.kif 10951-10951	changes location is an instance of total valued relation
(subrelation changesLocation moves)	Merge.kif 10961-10961	changes location is a subrelation of moves

appearance as argument number 2

(format EnglishLanguage changesLocation "%2 %n{doesn't} change%{s} location during %1")	MilitaryPersons.kif 671-671
(format EnglishLanguage changesLocation "%2 is %n a changes location of %1")	domainEnglishFormat.kif 116-116
(termFormat EnglishLanguage changesLocation "changes location")	domainEnglishFormat.kif 2777-2777	"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 10963-10971