changesLocation - Sigma Knowledge base Browser

appearance as argument number 1

(instance changesLocation CaseRole)	Merge.kif 11242-11242	changes location is an instance of case role
(instance changesLocation TotalValuedRelation)	Merge.kif 11243-11243	changes location is an instance of total valued relation
(domain changesLocation 1 Translocation)	Merge.kif 11244-11244	The number 1 argument of changes location is an instance of translocation
(domain changesLocation 2 Object)	Merge.kif 11245-11245	The number 2 argument of changes location is an instance of object
(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 11247-11250	The number 2 argument of changes location is an instance of object
(subrelation changesLocation moves)	Merge.kif 11252-11252	changes location is a subrelation of moves

appearance as argument number 2

(format EnglishLanguage changesLocation "%2 %n{doesn't} change%p{s} location during %1")	MilitaryPersons.kif 686-686
(format EnglishLanguage changesLocation "%2 is %n a changes location of %1")	domainEnglishFormat.kif 426-426
(format ChineseTraditionalLanguage changesLocation "%2 %n 是 %3 的 changes 地點")	domainEnglishFormat.kif 427-427
(format ChineseLanguage changesLocation "%2 %n 是 %3 的 changes 地点")	domainEnglishFormat.kif 428-428
(termFormat EnglishLanguage changesLocation "changes location")	domainEnglishFormat.kif 14124-14124
(termFormat ChineseTraditionalLanguage changesLocation "改變位置")	domainEnglishFormat.kif 14125-14125
(termFormat ChineseLanguage changesLocation "改变位置")	domainEnglishFormat.kif 14126-14126

antecedent

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

If X is a changes location of Y, then Y is an instance of translocation, X is an instance of object, and At least one of the following holds: (1) X is a patient of Y (2) X is an agent of Y (3) X experiences Y

consequent

(=>
    (and
        (instance ?R CentrifugalMotion)
        (instance ?O Object)
        (moves ?R ?O)
        (instance ?A Object)
        (located ?A ?O))
    (modalAttribute
        (exists (?M)
            (and
                (instance ?M MovingAwayFrom)
                (changesLocation ?M ?A)
                (origin ?M ?O)
                (causes ?R ?M))) Likely))

If X is an instance of centrifugal motion, Y is an instance of object, Y moves during X, Z is an instance of object, and Z is located at Y, then the statement there exists W such that W is an instance of moving away from, Z is a changes location of W, W originates at Y, and X causes W has the modal force of likely