Rotating - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Rotating EnglishLanguage "Motion that begins and ends at the same point, because the trajectory of the Motion is circular.")	Mid-level-ontology.kif 17732-17733
(externalImage Rotating "http://upload.wikimedia.org/wikipedia/commons/0/ 02/ Rotating_Sphere.gif")	pictureList.kif 6830-6830
(externalImage Rotating "http://upload.wikimedia.org/wikipedia/commons/4/ 49/ Rotation_illustration.png")	pictureList.kif 7768-7768
(externalImage Rotating "http://upload.wikimedia.org/wikipedia/commons/5/ 54/ Flight_dynamics_with_text.png")	pictureList.kif 7769-7769
(externalImage Rotating "http://upload.wikimedia.org/wikipedia/commons/6/ 61/ AxialTiltObliquity.png")	pictureList.kif 7770-7770
(subclass Rotating Motion)	Mid-level-ontology.kif 17731-17731	Rotating は motion の subclass では %n

appearance as argument number 2

(subclass CentrifugalMotion Rotating)	Mid-level-ontology.kif 17772-17772	CentrifugalMotion は Rotating の subclass では %n
(subclass CentripetalMotion Rotating)	Mid-level-ontology.kif 17788-17788	CentripetalMotion は Rotating の subclass では %n
(subclass ChurningButter Rotating)	Food.kif 3060-3060	ChurningButter は Rotating の subclass では %n
(subclass ScrollWheelRotating Rotating)	ComputerInput.kif 1665-1665	ScrollWheelRotating は Rotating の subclass では %n
(subclass Tremor Rotating)	Mid-level-ontology.kif 17748-17748	Tremor は Rotating の subclass では %n
(termFormat ChineseLanguage Rotating "旋转")	domainEnglishFormat.kif 50521-50521	Tremor は Rotating の subclass では %n
(termFormat ChineseTraditionalLanguage Rotating "旋轉")	domainEnglishFormat.kif 50520-50520	Tremor は Rotating の subclass では %n
(termFormat EnglishLanguage Rotating "rotating")	domainEnglishFormat.kif 50519-50519	Tremor は Rotating の subclass では %n

appearance as argument number 3

(domain RotationFn 1 Rotating)

Cars.kif 2086-2086

RotationFn の数値 1 引数は Rotating の instance では %n

antecedent

(=> (and (instance ?BP BrakePad) (instance ?BR BrakeRotor) (instance ?R Rotating) (patient ?R ?BR) (instance ?F Friction) (resource ?F ?BP) (patient ?F ?BR)) (not (patient ?R ?BP)))	Cars.kif 617-627	オブジェクトは BrakePad の instance では %n エンティティーは BrakeRotor の instance では %n 工程は Rotating の instance では %n エンティティーは工程の patient では %n 工程は Friction の instance では %n オブジェクトは工程の resource では %n エンティティーは工程の patient では %n オブジェクトは工程の patient では
(=> (and (instance ?BS BrakeShoe) (instance ?BD BrakeDrum) (instance ?R Rotating) (patient ?R ?BD) (instance ?F Friction) (resource ?F ?BS) (patient ?F ?BD)) (not (patient ?R ?BS)))	Cars.kif 639-649	オブジェクトは BrakeShoe の instance では %n エンティティーは BrakeDrum の instance では %n 工程は Rotating の instance では %n エンティティーは工程の patient では %n 工程は Friction の instance では %n オブジェクトは工程の resource では %n エンティティーは工程の patient では %n オブジェクトは工程の patient では
(=> (and (instance ?R Ratchet) (instance ?A AttachingDevice) (instance ?RO1 Rotating) (attribute ?RO1 ?DIR1) (instance ?RO2 Rotating) (attribute ?RO2 ?DIR2) (instance ?DIR1 RotationalAttribute) (instance ?DIR2 RotationalAttribute) (not (equal ?RO1 ?RO2)) (causes ?RO1 ?RO2) (patient ?RO1 Ratchet) (patient ?RO2 ?A)) (equal ?DIR1 ?DIR2))	Cars.kif 4987-5002	エンティティーは Ratchet の instance では %n エンティティーは AttachingDevice の instance では %n エンティティーO1 は Rotating の instance では %n 属性はエンティティーO1 の attribute では %n エンティティーO2 は Rotating の instance では %n 属性はエンティティーO2 の attribute では %n 属性は RotationalAttribute の instance では %n 属性は RotationalAttribute の instance では %n エンティティーO1 はエンティティーO2 と equal ではエンティティーO1 はエンティティーO2 を causes %n{ない} Ratchet はエンティティーO1 の patient では %n エンティティーはエンティティーO2 の patient では %n 属性は属性と equal では %n
(=> (and (instance ?R Rotating) (patient ?R ?A)) (exists (?L) (and (holdsDuring (BeginFn (WhenFn ?R)) (located ?A ?L)) (holdsDuring (EndFn (WhenFn ?R)) (located ?A ?L)))))	Mid-level-ontology.kif 17735-17746	工程は Rotating の instance では %n エンティティーは工程の patient では %n エンティティーエンティティーはエンティティーに located して %n は工程の time の existence の beginning の during holds %n{ない} エンティティーはエンティティーに located して %n は工程の time の existence の end の during holds %n{ない}
(=> (and (instance ?SH1 Shaft) (instance ?SH2 Shaft) (not (equal ?SH1 ?SH2)) (instance ?R1 Rotating) (patient ?R1 ?SH1) (instance ?R2 Rotating) (patient ?R2 ?SH2) (causes ?R1 ?R2) (instance ?CV CVJoint) (connectedEngineeringComponents ?R1 ?CV) (connectedEngineeringComponents ?R2 ?CV) (holdsDuring (WhenFn ?R1) (equal ?SH1 (RotationFn ?N ?T)))) (holdsDuring (WhenFn ?R2) (equal ?SH2 (RotationFn ?N ?T))))	Cars.kif 2097-2116	エンティティーは Shaft の instance では %n エンティティーは Shaft の instance では %n エンティティーはエンティティーと equal ではエンジニアリング部品は Rotating の instance では %n エンティティーはエンジニアリング部品の patient では %n エンジニアリング部品は Rotating の instance では %n エンティティーはエンジニアリング部品の patient では %n エンジニアリング部品はエンジニアリング部品を causes %n{ない} エンジニアリング部品は CVJoint の instance では %n エンジニアリング部品はエンジニアリング部品に connected して %n エンジニアリング部品はエンジニアリング部品に connected して %n エンティティーは RotationFn エンティティー and エンティティーと equal では %n はエンジニアリング部品の time の existence の during holds %n{ない} エンティティーは RotationFn エンティティー and エンティティーと equal では %n はエンジニアリング部品の time の existence の during holds %n{ない}
(=> (and (instance ?T Tornado) (instance ?R Rotating) (instance ?A Air) (instance ?TRAN Translocation) (subProcess ?R ?T) (subProcess ?TRAN ?R) (patient ?TRAN ?A) (direction ?TRAN Horizontal)) (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE) (and (instance ?G GeographicArea) (eventLocated ?T ?G) (part ?FUNNEL ?A) (attribute ?FUNNEL ConeSegment) (top ?TOP ?FUNNEL) (bottom ?BOTTOM ?FUNNEL) (instance ?C Cloud) (bottom ?BASE ?C) (meetsSpatially ?TOP ?BASE) (meetsSpatially ?BOTTOM ?G))))	Weather.kif 1634-1655	工程は Tornado の instance では %n 工程は Rotating の instance では %n オブジェクトは Air の instance では %n 工程RAN は Translocation の instance では %n 工程は工程% の subprocess では %n 工程RAN は工程% の subprocess では %n オブジェクトは工程RAN の patient では %n プロセス工程RAN のエンテテｲは Horizontal を moving して %n オブジェクト自己接続オブジェクト, 工程OP, 自己接続オブジェクト, 自己接続オブジェクト and 自己接続オブジェクトオブジェクトは地理的地域の instance では %n eventLocated 工程 and オブジェクト自己接続オブジェクトはオブジェクトの part では %n ConeSegment は自己接続オブジェクトの attribute では %n 自己接続オブジェクトの top は工程OP では自己接続オブジェクトの bottom は自己接続オブジェクトでは %n 自己接続オブジェクトは Cloud の instance では %n 自己接続オブジェクトの bottom は自己接続オブジェクトでは %n 工程OP は自己接続オブジェクトと meets %n{ない} 自己接続オブジェクトはオブジェクトと meets %n{ない}

consequent

(=> (and (instance ?C Crankshaft) (instance ?I IntermittentCombustionEngine) (part ?I ?C)) (hasPurpose ?C (exists (?E ?R) (and (instance ?E Explosion) (instance ?R Rotating) (patient ?R ?C) (eventLocated ?R ?I) (causes ?E ?R)))))	Cars.kif 349-361	オブジェクトは Crankshaft の instance では %n オブジェクトは IntermittentCombustionEngine の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトはエンティティーエンティティーエンティティーは Explosion の instance では %n エンティティーは Rotating の instance では %n オブジェクトはエンティティーの patient では %n eventLocated エンティティー and オブジェクトエンティティーはエンティティーを causes %n{ない} の目的 %n{ない}
(=> (and (instance ?EG EngineGovernor) (instance ?E Engine) (connectedEngineeringComponents ?EG ?E) (governorSpeed ?E (MeasureFn ?S MilesPerHour))) (hasPurpose ?EG (not (exists (?R ?P ?M) (and (instance ?P Device) (part ?P ?E) (instance ?R Rotating) (holdsDuring (WhenFn ?R) (and (measure ?P (MeasureFn ?M MilesPerHour)) (greaterThan ?M ?S))))))))	Cars.kif 2913-2931	エンジニアリング部品は EngineGovernor の instance では %n エンジニアリング部品は Engine の instance では %n エンジニアリング部品はエンジニアリング部品に connected して %n governorSpeed エンジニアリング部品 and 実数の MilesPerHour(s) エンジニアリング部品はエンティティーエンティティー and エンティティーエンティティーはデバイスの instance では %n エンティティーはエンジニアリング部品の part では %n エンティティーは Rotating の instance では %n エンティティーの measure はエンティティーの MilesPerHour(s) では %n エンティティーは実数より greater では　%n はエンティティーの time の existence の during holds %n{ない} の目的 %n{ない}
(=> (and (instance ?FB FanBelt) (instance ?EF EngineFan) (instance ?A Automobile) (part ?FB ?A) (part ?EF ?A) (instance ?M Motion) (patient ?M ?FB)) (hasPurpose ?FB (exists (?M2) (and (instance ?M2 Rotating) (causes ?M ?M2) (patient ?M2 ?EF)))))	Cars.kif 2713-2727	オブジェクトは FanBelt の instance では %n オブジェクトは EngineFan の instance では %n オブジェクトは Automobile の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの part では %n 工程は motion の instance では %n オブジェクトは工程の patient では %n オブジェクトは工程2 工程2 は Rotating の instance では %n 工程は工程2 を causes %n{ない} オブジェクトは工程2 の patient では %n の目的 %n{ない}
(=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?R) (and (instance ?R Rotating) (patient ?R ?HR) (subProcess ?R ?K))))	Cars.kif 4361-4374	オブジェクトは Reel の instance では %n 工程は保持の instance では %n オブジェクトは微粒子オブジェクトの instance では %n LongAndThin はオブジェクトの attribute では %n Pliable はオブジェクトの attribute では %n オブジェクトは工程の instrument では %n オブジェクトは工程の patient では %n 工程工程は Rotating の instance では %n オブジェクトは工程の patient では %n 工程は工程% の subprocess では %n
(=> (and (instance ?L Lathe) (instance ?OBJ Object) (instrument ?PROC ?L) (patient ?PROC ?OBJ)) (exists (?R) (and (instance ?R Rotating) (subProcess ?PROC ?R) (patient ?R ?OBJ) (agent ?R ?L))))	Economy.kif 6115-6126	AutonomousAgent は Lathe の instance では %n エンティティーはオブジェクトの instance では %n AutonomousAgent は工程の instrument では %n エンティティーは工程の patient では %n 工程工程は Rotating の instance では %n 工程は工程% の subprocess では %n エンティティーは工程の patient では %n AutonomousAgent は工程の agent では %n
(=> (and (instance ?T Transportation) (instance ?W Wheel) (instance ?A Automobile) (part ?W ?A) (instrument ?T ?A) (instance ?AB AntilockBrake) (instance ?D Decelerating) (instrument ?D ?AB) (part ?AB ?W)) (hasPurpose ?AB (exists (?R) (and (instance ?R Rotating) (during ?R ?D)))))	Cars.kif 1292-1307	工程は交通手段の instance では %n オブジェクトは Wheel の instance では %n オブジェクトは Automobile の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトは工程の instrument では %n オブジェクトB は AntilockBrake の instance では %n 工程は Decelerating の instance では %n オブジェクトB は工程の instrument では %n オブジェクトB はオブジェクトの part では %n オブジェクトB はエンティティーエンティティーは Rotating の instance では %n エンティティーは工程の during に takes %n{ない} の目的 %n{ない}
(=> (axis ?AXIS ?OBJ) (exists (?R) (and (instance ?R Rotating) (part ?AXIS ?OBJ) (experiencer ?R ?OBJ) (not (exists (?R2) (and (instance ?R2 Rotating) (subProcess ?R2 ?R) (experiencer ?R2 ?AXIS)))))))	Mid-level-ontology.kif 17758-17770	axis AutonomousAgent and AutonomousAgent 工程工程は Rotating の instance では %n AutonomousAgent は AutonomousAgent の part では %n AutonomousAgent が工程を experiences %n{ない} 工程2 工程2 は Rotating の instance では %n 工程2 は工程% の subprocess では %n AutonomousAgent が工程2 を experiences %n{ない}
(=> (gearRatio ?G1 ?G2 ?R) (exists (?R1 ?R2) (and (instance ?R1 Rotating) (patient ?R1 ?G1) (instance ?R2 Rotating) (patient ?R2 ?G2) (causes ?R1 ?R2) (not (equal ?R1 ?R2)))))	engineering.kif 865-875	gearRatio Gear, Gear and 実数実数実数実数は Rotating の instance では %n Gear は実数の patient では %n 実数は Rotating の instance では %n Gear は実数の patient では %n 実数は実数を causes %n{ない} 実数は実数と equal では
(=> (instance ?AT AutomobileTransmission) (hasPurpose ?AT (exists (?C ?D ?A ?R1 ?N1 ?R2 ?R3 ?R4 ?N2 ?N3) (and (instance ?C Crankshaft) (instance ?D Driveshaft) (instance ?A Automobile) (part ?D ?A) (part ?AT ?A) (part ?C ?A) (connectedEngineeringComponents ?C ?AT) (connectedEngineeringComponents ?D ?AT) (instance ?R1 Rotating) (instance ?R2 Rotating) (instance ?R3 Rotating) (instance ?R4 Rotating) (patient ?R1 ?C) (patient ?R2 ?C) (patient ?R3 ?D) (patient ?R4 ?D) (causes ?R1 ?R3) (causes ?R2 ?R4) (not (equal ?R1 ?R2)) (holdsDuring ?R1 (measure ?C (RotationFn ?N1 MinuteDuration))) (holdsDuring ?R2 (measure ?C (RotationFn ?N1 MinuteDuration))) (holdsDuring ?R3 (measure ?D (RotationFn ?N2 MinuteDuration))) (holdsDuring ?R4 (measure ?D (RotationFn ?N3 MinuteDuration))) (not (equal ?N2 ?N3))))))	Cars.kif 2329-2363	物理は AutomobileTransmission の instance では %n 物理はエンティティーエンティティー, エンティティー, エンティティー, エンティティー, エンティティー, エンティティー, エンティティー, エンティティー and エンティティーエンティティーは Crankshaft の instance では %n エンティティーは Driveshaft の instance では %n エンティティーは Automobile の instance では %n エンティティーはエンティティーの part では %n 物理はエンティティーの part では %n エンティティーはエンティティーの part では %n エンティティーは物理に connected して %n エンティティーは物理に connected して %n エンティティーは Rotating の instance では %n エンティティーは Rotating の instance では %n エンティティーは Rotating の instance では %n エンティティーは Rotating の instance では %n エンティティーはエンティティーの patient では %n エンティティーはエンティティーの patient では %n エンティティーはエンティティーの patient では %n エンティティーはエンティティーの patient では %n エンティティーはエンティティーを causes %n{ない} エンティティーはエンティティーを causes %n{ない} エンティティーはエンティティーと equal ではエンティティーの measure は RotationFn エンティティー and MinuteDuration では %n はエンティティーの during holds %n{ない} エンティティーの measure は RotationFn エンティティー and MinuteDuration では %n はエンティティーの during holds %n{ない} エンティティーの measure は RotationFn エンティティー and MinuteDuration では %n はエンティティーの during holds %n{ない} エンティティーの measure は RotationFn エンティティー and MinuteDuration では %n はエンティティーの during holds %n{ない} エンティティーはエンティティーと equal ではの目的 %n{ない}
(=> (instance ?C Cam) (hasPurpose ?C (exists (?R) (and (instance ?R Rotating) (patient ?R ?C)))))	Cars.kif 1645-1651	物理は Cam の instance では %n 物理はエンティティーエンティティーは Rotating の instance では %n 物理はエンティティーの patient では %n の目的 %n{ない}
(=> (instance ?C Camshaft) (hasPurpose ?C (exists (?R) (and (instance ?R Rotating) (patient ?R ?C)))))	Cars.kif 1658-1664	物理は Camshaft の instance では %n 物理はエンティティーエンティティーは Rotating の instance では %n 物理はエンティティーの patient では %n の目的 %n{ない}
(=> (instance ?C ChurningButter) (hasPurpose ?C (exists (?M ?R ?B) (and (instance ?M Milk) (instance ?R Rotating) (patient ?R ?M) (result ?R ?B) (instance ?B Butter)))))	Food.kif 3065-3074	物理は ChurningButter の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは Milk の instance では %n エンティティーは Rotating の instance では %n エンティティーはエンティティーの patient では %n エンティティーはエンティティーの result では %n エンティティーは Butter の instance では %n の目的 %n{ない}
(=> (instance ?CM CentrifugalMotion) (exists (?R ?A ?O1 ?O2) (and (instance ?R Rotating) (axis ?A ?O1) (origin ?CM ?A) (experiencer ?R ?O1) (experiencer ?CM ?O2) (causes ?R ?CM))))	Mid-level-ontology.kif 17777-17786	工程は CentrifugalMotion の instance では %n 工程オブジェクト, AutonomousAgent and AutonomousAgent 工程は Rotating の instance では %n axis オブジェクト and AutonomousAgent 工程はオブジェクトから originates %n{ない} AutonomousAgent が工程を experiences %n{ない} AutonomousAgent が工程を experiences %n{ない} 工程は工程を causes %n{ない}
(=> (instance ?CM CentripetalMotion) (exists (?R ?A ?O1 ?O2) (and (instance ?R Rotating) (axis ?A ?O1) (destination ?CM ?A) (experiencer ?R ?O1) (experiencer ?CM ?O2) (causes ?R ?CM))))	Mid-level-ontology.kif 17792-17801	工程は CentripetalMotion の instance では %n 工程オブジェクト, AutonomousAgent and AutonomousAgent 工程は Rotating の instance では %n axis オブジェクト and AutonomousAgent 工程はオブジェクトに ends %n{ない} AutonomousAgent が工程を experiences %n{ない} AutonomousAgent が工程を experiences %n{ない} 工程は工程を causes %n{ない}
(=> (instance ?D Distributor) (hasPurpose ?D (exists (?SP ?S ?O ?R ?E) (and (instance ?E Engine) (instance ?SP SparkPlug) (instance ?S Spark) (part ?O ?D) (part ?D ?E) (part ?SP ?E) (instance ?R Rotating) (causes ?R ?S)))))	Cars.kif 2257-2269	物理は Distributor の instance では %n 物理はエンティティーエンティティー, エンティティー, エンティティー and エンティティーエンティティーは Engine の instance では %n エンティティーは SparkPlug の instance では %n エンティティーは Spark の instance では %n エンティティーは物理の part では %n 物理はエンティティーの part では %n エンティティーはエンティティーの part では %n エンティティーは Rotating の instance では %n エンティティーはエンティティーを causes %n{ない} の目的 %n{ない}
(=> (instance ?D Driveshaft) (hasPurpose ?D (exists (?R1 ?R2 ?W ?A) (and (instance ?A Automobile) (instance ?W Wheel) (part ?D ?A) (part ?W ?A) (instance ?R1 Rotating) (patient ?R1 ?D) (patient ?R2 ?W) (causes ?R1 ?R2)))))	Cars.kif 2308-2320	物理は Driveshaft の instance では %n 物理はエンティティーエンティティー, エンティティー and エンティティーエンティティーは Automobile の instance では %n エンティティーは Wheel の instance では %n 物理はエンティティーの part では %n エンティティーはエンティティーの part では %n エンティティーは Rotating の instance では %n 物理はエンティティーの patient では %n エンティティーはエンティティーの patient では %n エンティティーはエンティティーを causes %n{ない} の目的 %n{ない}
(=> (instance ?D Screwdriver) (hasPurpose ?D (exists (?R ?S) (and (instance ?R Rotating) (instrument ?R ?D) (patient ?R ?S) (instance ?S Screw)))))	Mid-level-ontology.kif 4191-4199	物理は Screwdriver の instance では %n 物理はエンティティーエンティティーエンティティーは Rotating の instance では %n 物理はエンティティーの instrument では %n エンティティーはエンティティーの patient では %n エンティティーは Screw の instance では %n の目的 %n{ない}
(=> (instance ?EC EngineCranking) (exists (?EM ?E ?S ?R1 ?C ?R2) (and (instance ?EM ElectricalMotor) (instance ?E InternalCombustionEngine) (instance ?S Shaft) (instance ?C Crankshaft) (part ?S ?EM) (subProcess ?R1 ?EC) (instance ?R1 Rotating) (patient ?R1 ?S) (instance ?R2 Rotating) (patient ?R2 ?C) (part ?C ?E) (causes ?R1 ?R2))))	Cars.kif 2198-2213	工程は EngineCranking の instance では %n オブジェクトオブジェクト, オブジェクト, 工程, オブジェクト and 工程オブジェクトは ElectricalMotor の instance では %n オブジェクトは InternalCombustionEngine の instance では %n オブジェクトは Shaft の instance では %n オブジェクトは Crankshaft の instance では %n オブジェクトはオブジェクトの part では %n 工程は工程% の subprocess では %n 工程は Rotating の instance では %n オブジェクトは工程の patient では %n 工程は Rotating の instance では %n オブジェクトは工程の patient では %n オブジェクトはオブジェクトの part では %n 工程は工程を causes %n{ない}
(=> (instance ?F Flywheel) (hasPurpose ?F (exists (?R1 ?R2) (and (instance ?R1 Rotating) (instance ?R2 Rotating) (patient ?R1 ?F) (causes ?R1 ?R2)))))	Cars.kif 2222-2230	物理は Flywheel の instance では %n 物理はエンティティーエンティティーエンティティーは Rotating の instance では %n エンティティーは Rotating の instance では %n 物理はエンティティーの patient では %n エンティティーはエンティティーを causes %n{ない} の目的 %n{ない}
(=> (instance ?FWD FourWheelDriveVehicle) (hasPurpose ?FWD (forall (?W) (and (part ?W ?FWD) (exists (?E ?C ?R1 ?R2) (and (instance ?E Engine) (part ?E ?FWD) (instance ?C Crankshaft) (part ?C ?E) (instance ?R1 Rotating) (patient ?R1 ?C) (instance ?R2 Rotating) (patient ?R2 ?W) (causes ?R1 ?R2)))))))	Cars.kif 4648-4664	物理は FourWheelDriveVehicle の instance では %n 物理はエンティティーエンティティーは物理の part では %n エンティティーエンティティー, エンティティー and エンティティーエンティティーは Engine の instance では %n エンティティーは物理の part では %n エンティティーは Crankshaft の instance では %n エンティティーはエンティティーの part では %n エンティティーは Rotating の instance では %n エンティティーはエンティティーの patient では %n エンティティーは Rotating の instance では %n エンティティーはエンティティーの patient では %n エンティティーはエンティティーを causes %n{ない} の目的 %n{ない}
(=> (instance ?HINGE Hinge) (hasPurpose ?HINGE (exists (?OBJ1 ?OBJ2) (and (connects ?HINGE ?OBJ1 ?OBJ2) (or (capability Rotating patient ?OBJ1) (capability Rotating patient ?OBJ2))))))	Mid-level-ontology.kif 15526-15534	物理は Hinge の instance では %n 物理はエンティティーエンティティー物理はエンティティーとエンティティーに connects %n{ない} エンティティーは Rotating を patient として行う capable では %n エンティティーは Rotating を patient として行う capable では %n の目的 %n{ない}
(=> (instance ?P Pulley) (hasPurpose ?P (exists (?P2 ?D ?R1 ?R2) (and (instance ?P2 Pulley) (not (equal ?P ?P2)) (instance ?D Drivebelt) (instance ?R1 Rotating) (instance ?R2 Rotating) (connectedEngineeringComponents ?P ?D) (connectedEngineeringComponents ?P2 ?D) (patient ?R1 ?P) (patient ?R2 ?P2) (causes ?R1 ?R2)))))	Cars.kif 2276-2291	物理は Pulley の instance では %n 物理は物理2 エンティティー, エンティティー and エンティティー物理2 は Pulley の instance では %n 物理は物理2 と equal ではエンティティーは Drivebelt の instance では %n エンティティーは Rotating の instance では %n エンティティーは Rotating の instance では %n 物理はエンティティーに connected して %n 物理2 はエンティティーに connected して %n 物理はエンティティーの patient では %n 物理2 はエンティティーの patient では %n エンティティーはエンティティーを causes %n{ない} の目的 %n{ない}
(=> (instance ?R Rotor) (capability Rotating instrument ?R))	engineering.kif 1096-1098	オブジェクトは Rotor の instance では %n オブジェクトは Rotating を instrument として行う capable では %n
(=> (instance ?S Shaft) (exists (?R) (and (instance ?R Rotating) (patient ?R ?S))))	engineering.kif 907-912	エンティティーは Shaft の instance では %n 工程工程は Rotating の instance では %n エンティティーは工程の patient では %n
(=> (instance ?T Tachometer) (hasPurpose ?T (exists (?R ?M ?O) (and (instance ?R Rotating) (patient ?R ?O) (instance ?M Measuring) (instrument ?M ?T) (patient ?M ?O)))))	Cars.kif 4079-4088	物理は Tachometer の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは Rotating の instance では %n エンティティーはエンティティーの patient では %n エンティティーは計測の instance では %n 物理はエンティティーの instrument では %n エンティティーはエンティティーの patient では %n の目的 %n{ない}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: