moves |
appearance as argument number 1 |
(documentation moves ChineseLanguage "(moves ?MOTION ?OBJECT)的意思是当 Motion 事件 ?MOTION 发生时, ?OBJECT 移动了。这不一定意味着在 ?MOTION 的过程中, ?OBJECT 位置有所改变。请同时参考 changesLocation 和 Translocation。") | 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 10982-10985 | |
(documentation moves JapaneseLanguage "(moves ?MOTION ?OBJECT) は、Motion イベントである ?MOTION 最中に?OBJECTが移動することを意味する。これは必ずしも ?OBJECT の最中に ?OBJECT の位置が 変わることを意味するわけではない。changesLocation および Translocation も参照。") | japanese_format.kif 1751-1753 | |
(domain moves 1 Motion) | Merge.kif 10979-10979 | 域 移動, 1 and Motion |
(domain moves 2 Object) | Merge.kif 10980-10980 | 域 移動, 2 and Object |
(instance moves CaseRole) | Merge.kif 10977-10977 | 例 移動 and CaseRole |
(instance moves TotalValuedRelation) | Merge.kif 10978-10978 | 例 移動 and TotalValuedRelation |
(subrelation moves involvedInEvent) | Merge.kif 10987-10987 | 子關係 移動 and 參與活動 |
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 11000-11000 | 子關係 改變位置 and 移動 |
(termFormat ChineseLanguage moves "移动") | domainEnglishFormat.kif 39027-39027 | |
(termFormat ChineseTraditionalLanguage moves "移動") | domainEnglishFormat.kif 39026-39026 | |
(termFormat EnglishLanguage moves "moves") | domainEnglishFormat.kif 39025-39025 |
antecedent |
consequent |
(=> (and (instance ?BS1 BodySegment) (instance ?BS2 BodySegment) (connected ?BS1 ?BS2) (instance ?BM BodyMotion) (moves ?BM ?BS1)) (modalAttribute (not (exists (?BM2) (and (instance ?BM2 BodyMotion) (moves ?BM2 ?BS2) (during (WhenFn ?BM2) (WhenFn ?BM))))) Possibility)) |
Mid-level-ontology.kif 10577-10593 | |
(=> (and (instance ?E Edema) (experiencer ?E ?A)) (exists (?T ?P ?L) (and (instance ?T Transfer) (instance ?L Liquid) (instance ?P BodyPart) (part ?P ?A) (destination ?T ?P) (moves ?T ?L) (subProcess ?T ?E)))) |
Mid-level-ontology.kif 9964-9976 | |
(=> (and (instance ?F Flexion) (agent ?F ?A) (moves ?F ?BP)) (not (exists (?E) (and (instance ?E Extension) (equal (WhenFn ?E) (WhenFn ?F)) (agent ?E ?A) (moves ?E ?BP))))) |
Mid-level-ontology.kif 10634-10645 | |
(=> (and (instance ?I Infecting) (experiencer ?I ?H)) (exists (?T ?R ?O) (and (instance ?T Translocation) (moves ?T ?O) (instance ?O Organism) (instance ?R Replication) (experiencer ?R ?O) (subProcess ?T ?I) (subProcess ?R ?I)))) |
Mid-level-ontology.kif 5847-5859 |
|
(=> (instance ?BC BloodCirculation) (exists (?O ?V ?A ?B) (and (instance ?O Animal) (instance ?B Blood) (moves ?BC ?B) (instance ?A Artery) (instance ?V Vein) (part ?A ?O) (part ?V ?O) (path ?BC ?A) (path ?BC ?V)))) |
Medicine.kif 491-503 | |
(=> (instance ?C Catheter) (hasPurpose ?C (exists (?M ?O ?OBJ ?L) (and (instance ?O Organism) (instance ?M Motion) (moves ?M ?OBJ) (orientation ?L ?O Outside) (path ?M ?C) (or (and (origin ?M ?L) (destination ?M ?O)) (and (origin ?M ?O) (destination ?M ?L))))))) |
Medicine.kif 548-564 | |
(=> (instance ?D Diuretic) (hasPurpose ?D (exists (?R ?L ?H ?LOC) (and (instance ?H Human) (instance ?R Removing) (instance ?L Liquid) (experiencer ?R ?H) (moves ?R ?L) (origin ?L ?H) (not (contains ?H ?LOC)) (destination ?R ?LOC))))) |
Mid-level-ontology.kif 10010-10023 | |
(=> (instance ?F Furniture) (capability Translocation moves ?F)) |
Mid-level-ontology.kif 3706-3708 | |
(=> (instance ?H Heart) (hasPurpose ?H (exists (?T ?HB ?B) (and (instance ?HB HeartBeat) (instance ?T LiquidMotion) (instance ?B Blood) (moves ?T ?B) (causes ?HB ?T))))) |
Mid-level-ontology.kif 10742-10751 | |
(=> (instance ?MOTION Motion) (exists (?OBJ) (and (instance ?OBJ Object) (moves ?MOTION ?OBJ)))) |
Merge.kif 11018-11023 |