Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - moves
moves

appearance as argument number 1
-------------------------


(documentation moves ChineseLanguage "(moves ?MOTION ?OBJECT)的意思是当 Motion 事件 ?MOTION 发生时, ?OBJECT 移动了。这不一定意味着在 ?MOTION 的过程中, ?OBJECT 位置有所改变。请同时参考 changesLocationTranslocation。") chinese_format.kif 2991-2993
(documentation moves EnglishLanguage "(moves ?MOTION ?OBJECT) means that during the Motion event ?MOTION, ?OBJECT moves. This does not necessarily imply that the location of ?OBJECT changes during ?MOTION. See also changesLocation and Translocation.") Merge.kif 10219-10222
(domain moves 1 Motion) Merge.kif 10216-10216 The number 1 argument of moves is an instance of motion
(domain moves 2 Object) Merge.kif 10217-10217 The number 2 argument of moves is an instance of object
(instance moves CaseRole) Merge.kif 10214-10214 moves is an instance of case role
(instance moves TotalValuedRelation) Merge.kif 10215-10215 moves is an instance of total valued relation
(subrelation moves involvedInEvent) Merge.kif 10224-10224 moves is a subrelation of involved in event

appearance as argument number 2
-------------------------


(format EnglishLanguage moves "%2 %n{doesn’t} move%p{s} during %1") MilitaryPersons.kif 668-668
(subrelation changesLocation moves) Merge.kif 10237-10237 changes location is a subrelation of moves
(termFormat ChineseLanguage moves "移动") domainEnglishFormat.kif 38923-38923
(termFormat ChineseTraditionalLanguage moves "移動") domainEnglishFormat.kif 38922-38922
(termFormat EnglishLanguage moves "moves") domainEnglishFormat.kif 38921-38921

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


(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))
Merge.kif 10348-10354
(=>
    (and
        (instance ?MOTION Motion)
        (moves ?MOTION ?OBJ)
        (destination ?MOTION ?PLACE))
    (holdsDuring
        (EndFn
            (WhenFn ?MOTION))
        (located ?OBJ ?PLACE)))
Merge.kif 10289-10294
(=>
    (and
        (instance ?MOTION Motion)
        (moves ?MOTION ?OBJ)
        (origin ?MOTION ?PLACE))
    (holdsDuring
        (BeginFn
            (WhenFn ?MOTION))
        (located ?OBJ ?PLACE)))
Merge.kif 10273-10278

consequent
-------------------------


(=>
    (instance ?F Furniture)
    (capability Translocation moves ?F))
Mid-level-ontology.kif 4237-4239
(=>
    (instance ?MOTION Motion)
    (exists (?OBJ)
        (and
            (instance ?OBJ Object)
            (moves ?MOTION ?OBJ))))
Merge.kif 10255-10260


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