moves - Sigma Knowledge base Browser

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 位置有所改变。请同时参考 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 11075-11078
(documentation moves JapaneseLanguage "(moves ?MOTION ?OBJECT) は、Motion イベントである ?MOTION 最中に?OBJECTが移動することを意味する。これは必ずしも ?OBJECT の最中に ?OBJECT の位置が変わることを意味するわけではない。changesLocation および Translocation も参照。")	japanese_format.kif 1751-1753
(domain moves 1 Motion)	Merge.kif 11072-11072	moves の数値 1 引数は motion の instance では %n
(domain moves 2 Object)	Merge.kif 11073-11073	moves の数値 2 引数はオブジェクトの instance では %n
(instance moves CaseRole)	Merge.kif 11070-11070	moves は格役割の instance では %n
(instance moves TotalValuedRelation)	Merge.kif 11071-11071	moves は合計値関係の instance では %n
(subrelation moves involvedInEvent)	Merge.kif 11080-11080	moves は involvedInEvent の subrelation では %n

appearance as argument number 2

(format EnglishLanguage moves "%2 %n{doesn’t} move%p{s} during %1")	MilitaryPersons.kif 682-682
(subrelation changesLocation moves)	Merge.kif 11093-11093	changesLocation は moves の subrelation では %n
(termFormat ChineseLanguage moves "移动")	domainEnglishFormat.kif 39055-39055	changesLocation は moves の subrelation では %n
(termFormat ChineseTraditionalLanguage moves "移動")	domainEnglishFormat.kif 39054-39054	changesLocation は moves の subrelation では %n
(termFormat EnglishLanguage moves "moves")	domainEnglishFormat.kif 39053-39053	changesLocation は moves の subrelation では %n

antecedent

(=> (and (antagonistMuscles ?A ?B) (instance ?E Extension) (instrument ?E ?AC) (moves ?E ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Animal)) (capability Flexion instrument ?BC))	Mid-level-ontology.kif 12034-12045	antagonistMuscles 筋肉 and 筋肉 motion は Extension の instance では %n 筋肉C は motion の instrument では %n moves motion and 筋肉C 筋肉C は筋肉の instance では %n 筋肉C は筋肉の instance では %n 筋肉C はオブジェクトの part では %n 筋肉C はオブジェクトの part では %n オブジェクトは動物の instance では %n 筋肉C は Flexion を instrument として行う capable では %n
(=> (and (antagonistMuscles ?A ?B) (instance ?F Flexion) (instrument ?F ?AC) (moves ?F ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Animal)) (capability Extension instrument ?BC))	Mid-level-ontology.kif 12021-12032	antagonistMuscles 筋肉 and 筋肉 motion は Flexion の instance では %n 筋肉C は motion の instrument では %n moves motion and 筋肉C 筋肉C は筋肉の instance では %n 筋肉C は筋肉の instance では %n 筋肉C はオブジェクトの part では %n 筋肉C はオブジェクトの part では %n オブジェクトは動物の instance では %n 筋肉C は Extension を instrument として行う capable では %n
(=> (and (instance ?A Antacid) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?A) (instance ?S Stomach) (part ?S ?H) (holdsDuring (ImmediatePastFn (WhenFn ?I)) (and (contains ?S ?F1) (instance ?F1 Fluid))) (holdsDuring (ImmediateFutureFn (WhenFn ?I)) (and (contains ?S ?F2) (instance ?F2 Fluid))) (phMeasure ?F1 ?N1) (phMeasure ?F2 ?N2)) (greaterThan ?N2 ?N1))	Mid-level-ontology.kif 11188-11210	オブジェクトは Antacid の instance では %n motion は摂取の instance では %n AutonomousAgent は motion の agent では %n moves motion and オブジェクトオブジェクトは Stomach の instance では %n オブジェクトは AutonomousAgent の part では %n オブジェクトはオブジェクトを contains %n{ない} オブジェクトは Fluid の instance では %n は motion の time の existence の immediately before の during holds %n{ない} オブジェクトはオブジェクトを contains %n{ない} オブジェクトは Fluid の instance では %n は motion の time の existence のすぐ after の during holds %n{ない} phMeasure オブジェクト and 実数 phMeasure オブジェクト and 実数実数は実数より greater では　%n
(=> (and (instance ?A ProtonPumpInhibitor) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?A) (instance ?S Stomach) (part ?S ?H) (holdsDuring (ImmediatePastFn (WhenFn ?I)) (and (contains ?S ?F1) (instance ?F1 Fluid))) (holdsDuring (ImmediateFutureFn (WhenFn ?I)) (and (contains ?S ?F2) (instance ?F2 Fluid))) (phMeasure ?F1 ?N1) (phMeasure ?F2 ?N2)) (greaterThan ?N2 ?N1))	Mid-level-ontology.kif 11249-11271	オブジェクトは ProtonPumpInhibitor の instance では %n motion は摂取の instance では %n AutonomousAgent は motion の agent では %n moves motion and オブジェクトオブジェクトは Stomach の instance では %n オブジェクトは AutonomousAgent の part では %n オブジェクトはオブジェクトを contains %n{ない} オブジェクトは Fluid の instance では %n は motion の time の existence の immediately before の during holds %n{ない} オブジェクトはオブジェクトを contains %n{ない} オブジェクトは Fluid の instance では %n は motion の time の existence のすぐ after の during holds %n{ない} phMeasure オブジェクト and 実数 phMeasure オブジェクト and 実数実数は実数より greater では　%n
(=> (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 11926-11942	オブジェクトは BodySegment の instance では %n オブジェクトは BodySegment の instance では %n オブジェクトはオブジェクトと connected して motion は動作の instance では %n moves motion and オブジェクトステートメント motion2 motion2 は動作の instance では %n moves motion2 and オブジェクト motion2 の time の existence は motion の time の existence の during に takes %n{ない} には Possibility の modal force がある
(=> (and (instance ?C MuscularContraction) (moves ?C ?M) (or (instance ?M VoluntaryMuscle) (instance ?M HeartMuscle))) (exists (?T) (and (instance ?T Troponin) (resource ?C ?T))))	Medicine.kif 3939-3949	Motion は MuscularContraction の instance では %n moves motion and オブジェクトオブジェクトは VoluntaryMuscle の instance では %n オブジェクトは HeartMuscle の instance では %n オブジェクトオブジェクトは Troponin の instance では %n オブジェクトは motion の resource では %n
(=> (and (instance ?D Antidiuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (not (equal ?U1 ?U2)) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N1 ?N2) Likely))	Mid-level-ontology.kif 11404-11427	オブジェクトは Antidiuretic の instance では %n motion は摂取の instance では %n AutonomousAgent は motion の agent では %n moves motion and オブジェクト時間間隔は Urination の instance では %n エンティティーは時間間隔の result では %n AutonomousAgent は時間間隔の agent では %n 時間間隔は Urination の instance では %n 時間間隔は時間間隔と equal ではエンティティーは時間間隔の result では %n AutonomousAgent は時間間隔の agent では %n 時間間隔は motion より earlier happens %n{ない} motion は時間間隔より earlier happens %n{ない} 測定単位は UnitOfVolume の instance では %n 時間間隔の measure は実数の測定単位(s) では %n 時間間隔の measure は実数の測定単位(s) では %n ステートメント実数は実数より greater では　%n には Likely の modal force がある
(=> (and (instance ?D Diuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N2 ?N1) Likely))	Mid-level-ontology.kif 11374-11395	オブジェクトは Diuretic の instance では %n motion は摂取の instance では %n AutonomousAgent は motion の agent では %n moves motion and オブジェクト時間間隔は Urination の instance では %n エンティティーは時間間隔の result では %n AutonomousAgent は時間間隔の agent では %n 時間間隔は Urination の instance では %n エンティティーは時間間隔の result では %n AutonomousAgent は時間間隔の agent では %n 時間間隔は motion より earlier happens %n{ない} motion は時間間隔より earlier happens %n{ない} 測定単位は UnitOfVolume の instance では %n 時間間隔の measure は実数の測定単位(s) では %n 時間間隔の measure は実数の測定単位(s) では %n ステートメント実数は実数より greater では　%n には Likely の modal force がある
(=> (and (instance ?E Extension) (moves ?E ?BP)) (exists (?M ?MC) (and (instance ?M Muscle) (instance ?MC MuscularContraction) (instrument ?E ?M) (connected ?M ?BP) (subProcess ?MC ?E))))	Mid-level-ontology.kif 11996-12006	Motion は Extension の instance では %n moves motion and オブジェクトオブジェクトオブジェクトC オブジェクトは筋肉の instance では %n オブジェクトC は MuscularContraction の instance では %n オブジェクトは motion の instrument では %n オブジェクトはオブジェクトと connected してオブジェクトC は motion% の subprocess では %n
(=> (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 11983-11994	Motion は Flexion の instance では %n AutonomousAgent は motion の agent では %n moves motion and オブジェクト motion motion は Extension の instance では %n motion の time の existence は motion の time の existence と equal では %n AutonomousAgent は motion の agent では %n moves motion and オブジェクト
(=> (and (instance ?F Flexion) (moves ?F ?BP)) (exists (?M ?MC) (and (instance ?M Muscle) (instance ?MC MuscularContraction) (instrument ?F ?M) (connected ?M ?BP) (subProcess ?MC ?F))))	Mid-level-ontology.kif 11956-11966	Motion は Flexion の instance では %n moves motion and オブジェクトオブジェクトオブジェクトC オブジェクトは筋肉の instance では %n オブジェクトC は MuscularContraction の instance では %n オブジェクトは motion の instrument では %n オブジェクトはオブジェクトと connected してオブジェクトC は motion% の subprocess では %n
(=> (and (instance ?MOTION BodyMotion) (moves ?MOTION ?OBJ)) (and (instance ?OBJ BodyPart) (patient ?MOTION ?OBJ)))	Merge.kif 11203-11209	Motion は動作の instance では %n moves motion and オブジェクトオブジェクトは体の部分の instance では %n オブジェクトは motion の patient では %n
(=> (and (instance ?MOTION Motion) (moves ?MOTION ?OBJ) (destination ?MOTION ?PLACE)) (holdsDuring (EndFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))	Merge.kif 11145-11150	Motion は motion の instance では %n moves motion and オブジェクト motion はエンティティーに ends %n{ない} オブジェクトはエンティティーに located して %n は motion の time の existence の end の during holds %n{ない}
(=> (and (instance ?MOTION Motion) (moves ?MOTION ?OBJ) (origin ?MOTION ?PLACE)) (holdsDuring (BeginFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))	Merge.kif 11129-11134	Motion は motion の instance では %n moves motion and オブジェクト motion はオブジェクトから originates %n{ない} オブジェクトはオブジェクトに located して %n は motion の time の existence の beginning の during holds %n{ない}
(=> (and (instance ?P Poison) (instance ?I Ingesting) (moves ?I ?P) (experiencer ?I ?H)) (exists (?D) (and (instance ?D Damaging) (experiencer ?D ?H) (causes ?I ?D))))	Mid-level-ontology.kif 9826-9836	オブジェクトは Poison の instance では %n motion は摂取の instance では %n moves motion and オブジェクト AutonomousAgent が motion を experiences %n{ない} 工程工程は損害を与えるの instance では %n AutonomousAgent が工程を experiences %n{ない} motion は工程を causes %n{ない}
(=> (and (instance ?P Poison) (instance ?I Ingesting) (moves ?I ?P) (experiencer ?I ?H)) (modalAttribute (holdsDuring (FutureFn (WhenFn ?I)) (attribute ?H Blind)) Possibility))	Mid-level-ontology.kif 9850-9861	オブジェクトは Poison の instance では %n motion は摂取の instance では %n moves motion and オブジェクト AutonomousAgent が motion を experiences %n{ない} ステートメント Blind は AutonomousAgent の attribute では %n は motion の time の existence の after の during holds %n{ない} には Possibility の modal force がある

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 11926-11942	オブジェクトは BodySegment の instance では %n オブジェクトは BodySegment の instance では %n オブジェクトはオブジェクトと connected して motion は動作の instance では %n moves motion and オブジェクトステートメント motion2 motion2 は動作の instance では %n moves motion2 and オブジェクト motion2 の time の existence は motion の time の existence の during に takes %n{ない} には Possibility の modal force がある
(=> (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 11313-11325	工程は Edema の instance では %n AutonomousAgent が工程を experiences %n{ない} motion オブジェクト and オブジェクト motion は移動の instance では %n オブジェクトは Liquid の instance では %n オブジェクトは体の部分の instance では %n オブジェクトは AutonomousAgent の part では %n motion はオブジェクトに ends %n{ない} moves motion and オブジェクト motion は工程% の subprocess では %n
(=> (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 11983-11994	Motion は Flexion の instance では %n AutonomousAgent は motion の agent では %n moves motion and オブジェクト motion motion は Extension の instance では %n motion の time の existence は motion の time の existence と equal では %n AutonomousAgent は motion の agent では %n moves motion and オブジェクト
(=> (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 6810-6822	工程は Infecting の instance では %n AutonomousAgent が工程を experiences %n{ない} motion 工程 and AutonomousAgent motion は Translocation の instance では %n moves motion and AutonomousAgent AutonomousAgent は物の instance では %n 工程は複製の instance では %n AutonomousAgent が工程を experiences %n{ない} motion は工程% の subprocess では %n 工程は工程% の subprocess では %n
(=> (and (instance ?MAF MovingAwayFrom) (instance ?RELATIVEOBJECT Object) (instance ?REFERENCEOBJECT Object) (patient ?MAF ?RELATIVEOBJECT) (patient ?MAF ?REFERENCEOBJECT)) (exists (?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE ?U) (and (instance ?BEFOREDISTANCE RealNumber) (instance ?AFTERDISTANCE RealNumber) (moves ?MAF ?RELATIVEOBJECT) (holdsDuring (BeginFn (WhenFn ?MAF)) (distance ?RELATIVEOBJECT ?REFERENCEOBJECT (MeasureFn ?BEFOREDISTANCE ?U))) (holdsDuring (EndFn (WhenFn ?MAF)) (distance ?RELATIVEOBJECT ?REFERENCEOBJECT (MeasureFn ?AFTERDISTANCE ?U))) (greaterThan ?AFTERDISTANCE ?BEFOREDISTANCE))))	Mid-level-ontology.kif 33473-33493	Motion は MovingAwayFrom の instance では %n オブジェクトはオブジェクトの instance では %n エンティティーはオブジェクトの instance では %n オブジェクトは motion の patient では %n エンティティーは motion の patient では %n エンティティー実数, 実数 and エンティティー実数は実数の instance では %n 実数は実数の instance では %n moves motion and オブジェクトオブジェクトとエンティティーの distance は実数のエンティティー(s) では %n は motion の time の existence の beginning の during holds %n{ない} オブジェクトとエンティティーの distance は実数のエンティティー(s) では %n は motion の time の existence の end の during holds %n{ない} 実数は実数より greater では　%n
(=> (and (instance ?MT MovingTowards) (instance ?RELATIVEOBJECT Object) (instance ?REFERENCEOBJECT Object) (patient ?MT ?REFERENCEOBJECT) (patient ?MT ?RELATIVEOBJECT)) (exists (?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE) (and (instance ?BEFOREDISTANCE RealNumber) (instance ?AFTERDISTANCE RealNumber) (moves ?MT ?RELATIVEOBJECT) (holdsDuring (BeginFn (WhenFn ?MT)) (distance ?RELATIVEOBJECT ?REFERENCEOBJECT (MeasureFn ?BEFOREDISTANCE ?U))) (holdsDuring (EndFn (WhenFn ?MT)) (distance ?RELATIVEOBJECT ?REFERENCEOBJECT (MeasureFn ?AFTERDISTANCE ?U))) (greaterThan ?BEFOREDISTANCE ?AFTERDISTANCE))))	Mid-level-ontology.kif 33500-33520	Motion は MovingTowards の instance では %n オブジェクトはオブジェクトの instance では %n エンティティーはオブジェクトの instance では %n エンティティーは motion の patient では %n オブジェクトは motion の patient では %n エンティティー実数 and 実数実数は実数の instance では %n 実数は実数の instance では %n moves motion and オブジェクトオブジェクトとエンティティーの distance は実数のエンティティー(s) では %n は motion の time の existence の beginning の during holds %n{ない} オブジェクトとエンティティーの distance は実数のエンティティー(s) では %n は motion の time の existence の end の during holds %n{ない} 実数は実数より greater では　%n
(=> (instance ?A Abducting) (exists (?BP ?ORGANISM ?TORSO ?MAF) (and (instance ?BP BodyPart) (instance ?ORGANISM Organism) (instance ?TORSO Torso) (not (equal ?BP ?TORSO)) (subProcess ?MAF MovingAwayFrom) (patient ?MAF ?BP) (patient ?MAF ?TORSO) (part ?BP ?ORGANISM) (part ?TORSO ?ORGANISM) (experiencer ?A Organism) (moves ?A ?BP))))	Anatomy.kif 2007-2022	Motion は Abducting の instance では %n オブジェクトオブジェクト, オブジェクト and 工程オブジェクトは体の部分の instance では %n オブジェクトは物の instance では %n オブジェクトは Torso の instance では %n オブジェクトはオブジェクトと equal では工程は MovingAwayFrom% の subprocess では %n オブジェクトは工程の patient では %n オブジェクトは工程の patient では %n オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの part では %n 物が motion を experiences %n{ない} moves motion and オブジェクト
(=> (instance ?A Adducting) (exists (?BP ?ORGANISM ?TORSO ?MT) (and (instance ?BP BodyPart) (instance ?ORGANISM Organism) (instance ?TORSO Torso) (not (equal ?BP ?TORSO)) (instance ?MT MovingTowards) (subProcess ?MT ?A) (patient ?MT ?BP) (patient ?MT ?TORSO) (part ?BP ?ORGANISM) (part ?TORSO ?ORGANISM) (experiencer ?A Organism) (moves ?A ?BP))))	Anatomy.kif 2031-2047	Motion は Adducting の instance では %n オブジェクトオブジェクト, オブジェクト and 工程オブジェクトは体の部分の instance では %n オブジェクトは物の instance では %n オブジェクトは Torso の instance では %n オブジェクトはオブジェクトと equal では工程は MovingTowards の instance では %n 工程は motion% の subprocess では %n オブジェクトは工程の patient では %n オブジェクトは工程の patient では %n オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの part では %n 物が motion を experiences %n{ない} moves motion and オブジェクト
(=> (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 479-491	Motion は BloodCirculation の instance では %n オブジェクトオブジェクト, オブジェクト and オブジェクトオブジェクトは動物の instance では %n オブジェクトは血の instance では %n moves motion and オブジェクトオブジェクトは Artery の instance では %n オブジェクトは Vein の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの part では %n オブジェクトは motion が発生する path では %n オブジェクトは motion が発生する path では %n
(=> (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 536-552	物理は Catheter の instance では %n 物理はエンティティーエンティティー, エンティティーBJ and エンティティーエンティティーは物の instance では %n エンティティーは motion の instance では %n moves エンティティー and エンティティーBJ エンティティーは Outside 対エンティティーでは %n 物理はエンティティーが発生する path では %n エンティティーはエンティティーから originates %n{ない} エンティティーはエンティティーに ends %n{ない} エンティティーはエンティティーから originates %n{ない} エンティティーはエンティティーに ends %n{ない} の目的 %n{ない}
(=> (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 11359-11372	物理は Diuretic の instance では %n 物理はエンティティーエンティティー, エンティティー and エンティティーOC エンティティーは人［人間］の instance では %n エンティティーは除却の instance では %n エンティティーは Liquid の instance では %n エンティティーがエンティティーを experiences %n{ない} moves エンティティー and エンティティーエンティティーはエンティティーから originates %n{ない} エンティティーはエンティティーOC を contain ないエンティティーはエンティティーOC に ends %n{ない} の目的 %n{ない}
(=> (instance ?F Furniture) (capability Translocation moves ?F))	Mid-level-ontology.kif 4175-4177	オブジェクトは Furniture の instance では %n オブジェクトは Translocation を moves として行う capable では %n
(=> (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 12091-12100	物理は Heart の instance では %n 物理はエンティティー物理B and エンティティー物理B は HeartBeat の instance では %n エンティティーは LiquidMotion の instance では %n エンティティーは血の instance では %n moves エンティティー and エンティティー物理B はエンティティーを causes %n{ない} の目的 %n{ない}
(=> (instance ?MOTION Motion) (exists (?OBJ) (and (instance ?OBJ Object) (moves ?MOTION ?OBJ))))	Merge.kif 11111-11116	Motion は motion の instance では %n オブジェクトオブジェクトはオブジェクトの instance では %n moves motion and オブジェクト

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 3.0 is open source software produced by Articulate Software and its partners