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。") 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
(domain changesLocation 2 Object) Merge.kif 10953-10953
(instance changesLocation CaseRole) Merge.kif 10950-10950
(instance changesLocation TotalValuedRelation) Merge.kif 10951-10951
(subrelation changesLocation moves) Merge.kif 10961-10961

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

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


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