(=>     (and         (instance ?R RecreationOrExercise)         (instrument ?R ?RM)         (instance ?RM RowingMachine)         (experiencer ?R ?H)         (instance ?ROW Rowing)         (subProcess ?RMOT ?R)         (subclass ?C BodyMotion)         (instance ?RMOT ?C))     (exists (?ROWMOT)         (and             (instance ?ROWMOT ?C)             (subProcess ?ROWMOT ?R)             (agent ?ROWMOT ?H))))	Mid-level-ontology.kif 8242-8256	工程 は レクリエーションまたは運動 の instance では %n 工程M は 工程 の instrument では %n 工程M は RowingMachine の instance では %n AutonomousAgent が 工程 を experiences %n{ない} 工程OW は Rowing の instance では %n 工程MOT は 工程% の subprocess では %n クラス は 動作 の subclass では %n 工程MOT は クラス の instance では %n 工程OWMOT 工程OWMOT は クラス の instance では %n 工程OWMOT は 工程% の subprocess では %n AutonomousAgent は 工程OWMOT の agent では %n
(=>     (and         (instance ?S Sweeping)         (instrument ?S ?B))     (instance ?B Broom))	Mid-level-ontology.kif 5567-5571	工程 は Sweeping の instance では %n オブジェクト は 工程 の instrument では %n オブジェクト は Broom の instance では %n
(=>     (and         (instance ?SAW Saw)         (instance ?CUT Cutting)         (instrument ?CUT ?SAW)         (instance ?OBJ Object)         (patient ?CUT ?OBJ))     (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)         (and             (instance ?MOTION Motion)             (subProcess ?MOTION ?CUT)             (instance ?PART CuttingDevice)             (part ?PART ?SAW)             (meetsSpatially ?PART ?OBJ)             (patient ?MOTION ?PART)             (instance ?T2 TimeInterval)             (instance ?T2 TimeInterval)             (equal                 (WhenFn ?MOTION) ?TIME)             (temporalPart ?TIME ?T1)             (temporalPart ?TIME ?T2)             (instance ?DIR1 DirectionalAttribute)             (instance ?DIR2 DirectionalAttribute)             (=>                 (holdsDuring ?T1                     (direction ?MOTION ?DIR1))                 (holdsDuring ?T2                     (and                         (direction ?MOTION ?DIR2)                         (or                             (equal ?DIR1 ?DIR2)                             (oppositeDirection ?DIR1 ?DIR2))                         (not                             (and                                 (equal ?DIR1 ?DIR2)                                 (oppositeDirection ?DIR1 ?DIR2)))))))))	Mid-level-ontology.kif 18149-18183	オブジェクト は Saw の instance では %n 工程 は 切断 の instance では %n オブジェクト は 工程 の instrument では %n オブジェクト は オブジェクト の instance では %n オブジェクト は 工程 の patient では %n 工程 エンティティー, エンティティー, 時間間隔, 時間位置, 時間位置 and オブジェクト 工程 は motion の instance では %n 工程 は 工程% の subprocess では %n オブジェクト は CuttingDevice の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト と meets %n{ない} オブジェクト は 工程 の patient では %n 時間位置 は 時間間隔 の instance では %n 時間位置 は 時間間隔 の instance では %n 工程 の time の existence は 時間間隔 と equal では %n 時間間隔 は 時間位置 の part では %n 時間間隔 は 時間位置 の part では %n エンティティー は 方向属性 の instance では %n エンティティー は 方向属性 の instance では %n プロセス 工程 のエンテテｲは エンティティー を moving して %n は 時間位置 の during holds %n{ない} プロセス 工程 のエンテテｲは エンティティー を moving して %n エンティティー は エンティティー と equal では %n oppositeDirection エンティティー and エンティティー ~{ エンティティー は エンティティー と equal では %n } ~{ oppositeDirection エンティティー and エンティティー } は 時間位置 の during holds %n{ない}
(=>     (and         (instance ?SHOOTING Shooting)         (instrument ?SHOOTING ?AC)         (instance ?AC ArtilleryCannon))     (exists (?PROJ)         (and             (instrument ?SHOOTING ?PROJ)             (instance ?PROJ                 (UnionFn Missile Grenade)))))	MilitaryDevices.kif 179-188	工程 は 射撃 の instance では %n オブジェクト は 工程 の instrument では %n オブジェクト は ArtilleryCannon の instance では %n オブジェクト オブジェクト は 工程 の instrument では %n オブジェクト は Missile と Grenade の union の instance では %n
(=>     (and         (instance ?SHOOTING Shooting)         (instrument ?SHOOTING ?AC)         (instance ?AC GrenadeLauncher))     (exists (?PROJ)         (and             (instrument ?SHOOTING ?PROJ)             (instance ?PROJ Grenade))))	MilitaryDevices.kif 597-605	工程 は 射撃 の instance では %n オブジェクト は 工程 の instrument では %n オブジェクト は GrenadeLauncher の instance では %n オブジェクト オブジェクト は 工程 の instrument では %n オブジェクト は Grenade の instance では %n
(=>     (and         (instance ?SHOOTING Shooting)         (instrument ?SHOOTING ?MG)         (instance ?MG MortarGun))     (exists (?PROJ)         (and             (instrument ?SHOOTING ?PROJ)             (instance ?PROJ Grenade))))	MilitaryDevices.kif 198-206	工程 は 射撃 の instance では %n オブジェクト は 工程 の instrument では %n オブジェクト は MortarGun の instance では %n オブジェクト オブジェクト は 工程 の instrument では %n オブジェクト は Grenade の instance では %n
(=>     (and         (instance ?SHOT Shooting)         (instrument ?SHOT ?GUN)         (patient ?SHOT ?PROJ)         (width ?PROJ ?LM1)         (instance ?GUN ?GUNCLASS)         (instance ?PROJ Projectile)         (caliber ?GUNCLASS ?LM))     (equal ?LM ?LM1))	MilitaryDevices.kif 219-228	工程 は 射撃 の instance では %n オブジェクト は 工程 の instrument では %n 物理 は 工程 の patient では %n 物理 の width は 長さ測定 では %n オブジェクト は オブジェクトCLASS の instance では %n 物理 は Projectile の instance では %n caliber オブジェクトCLASS and 長さ測定 長さ測定 は 長さ測定 と equal では %n
(=>     (and         (instance ?SI             (ImpairmentFn ?S))         (instrument ?SI ?A))     (exists (?A2)         (and             (not                 (equal ?A2 ?A))             (capability ?S instrument ?A2)             (not                 (capability ?S instrument ?A)))))	Merge.kif 13496-13506	工程 は ImpairmentFn 工程 の instance では %n オブジェクト は 工程 の instrument では %n オブジェクト2 オブジェクト2 は オブジェクト と equal では オブジェクト2 は 工程 を instrument として行う capable では %n オブジェクト は 工程 を instrument として行う capable では
(=>     (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{ない}
(=>     (and         (instance ?T Transportation)         (instrument ?T ?D)         (instance ?D Pump))     (exists (?F)         (and             (instrument ?T ?F)             (attribute ?F Fluid))))	Mid-level-ontology.kif 15450-15458	工程 は 交通手段 の instance では %n オブジェクト は 工程 の instrument では %n オブジェクト は Pump の instance では %n オブジェクト オブジェクト は 工程 の instrument では %n Fluid は オブジェクト の attribute では %n
(=>     (and         (instance ?T Transportation)         (patient ?T ?S)         (instrument ?T ?SS)         (instance ?SS SewageSystem))     (instance ?S Sewage))	Transportation.kif 789-795	工程 は 交通手段 の instance では %n エンティティー は 工程 の patient では %n エンティティーS は 工程 の instrument では %n エンティティーS は SewageSystem の instance では %n エンティティー は Sewage の instance では %n
(=>     (and         (instance ?TRANSPORT Transportation)         (instrument ?TRANSPORT ?VEHICLE)         (instance ?VEHICLE RoadVehicle))     (instance ?TRANSPORT TransportViaRoadVehicle))	Mid-level-ontology.kif 23535-23540	工程 は 交通手段 の instance では %n オブジェクト は 工程 の instrument では %n オブジェクト は RoadVehicle の instance では %n 工程 は TransportViaRoadVehicle の instance では %n
(=>     (and         (instance ?TRANSPORT Transportation)         (subProcess ?TRANSPORT ?DRIVE)         (instance ?DRIVE Driving)         (instrument ?TRANSPORT ?VEHICLE)         (instance ?VEHICLE TransportationDevice))     (patient ?DRIVE ?VEHICLE))	Mid-level-ontology.kif 23555-23562	工程 は 交通手段 の instance では %n 工程 は 工程% の subprocess では %n 工程 は 運転 の instance では %n オブジェクト は 工程 の instrument では %n オブジェクト は 輸送機 の instance では %n オブジェクト は 工程 の patient では %n
(=>     (and         (instance ?TRANSPORT Vehicle)         (instance ?MOVE Translocation)         (instrument ?MOVE ?TRANSPORT)         (destination ?MOVE ?TO))     (holdsDuring         (BeginFn             (WhenFn ?MOVE))         (located ?TRANSPORT ?TO)))	Merge.kif 16014-16020	オブジェクト は Vehicle の instance では %n 工程 は Translocation の instance では %n オブジェクト は 工程 の instrument では %n 工程 は エンティティー に ends %n{ない} オブジェクト は エンティティー に located して %n は 工程 の time の existence の beginning の during holds %n{ない}
(=>     (and         (instance ?TRANSPORT Vehicle)         (instance ?MOVE Translocation)         (instrument ?MOVE ?TRANSPORT)         (origin ?MOVE ?FROM))     (holdsDuring         (BeginFn             (WhenFn ?MOVE))         (located ?TRANSPORT ?FROM)))	Merge.kif 16006-16012	オブジェクト は Vehicle の instance では %n 工程 は Translocation の instance では %n オブジェクト は 工程 の instrument では %n 工程 は オブジェクト から originates %n{ない} オブジェクト は オブジェクト に located して %n は 工程 の time の existence の beginning の during holds %n{ない}
(=>     (and         (instance ?V PulmonaryVein)         (instance ?T Transfer)         (patient ?T ?B)         (instrument ?T ?V)         (instance ?B Blood))     (exists (?L ?H ?P)         (and             (instance ?L Lung)             (origin ?T ?L)             (part ?V ?P)             (part ?L ?P)             (part ?H ?P)             (instance ?H Heart)             (destination ?T ?H))))	Mid-level-ontology.kif 11156-11171	オブジェクト は PulmonaryVein の instance では %n 工程 は 移動 の instance では %n エンティティー は 工程 の patient では %n オブジェクト は 工程 の instrument では %n エンティティー は 血 の instance では %n オブジェクト オブジェクト and オブジェクト オブジェクト は Lung の instance では %n 工程 は オブジェクト から originates %n{ない} オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト の part では %n オブジェクト は Heart の instance では %n 工程 は オブジェクト に ends %n{ない}
(=>     (and         (instance ?V Vein)         (instance ?T Transfer)         (patient ?T ?B)         (instrument ?T ?V)         (instance ?B Blood))     (exists (?H)         (and             (instance ?H Heart)             (destination ?T ?H))))	Mid-level-ontology.kif 11124-11134	オブジェクト は Vein の instance では %n 工程 は 移動 の instance では %n エンティティー は 工程 の patient では %n オブジェクト は 工程 の instrument では %n エンティティー は 血 の instance では %n エンティティー エンティティー は Heart の instance では %n 工程 は エンティティー に ends %n{ない}
(=>     (and         (instance ?VISITS Collection)         (instance ?PURCHASES Collection)         (subCollection ?PURCHASES ?VISITS)         (forall (?MEMBER)             (=>                 (member ?MEMBER ?VISITS)                 (instance ?MEMBER AccessingWebPage)))         (forall (?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)             (=>                 (and                     (instance ?VISITOR Human)                     (instance ?BUYING Buying)                     (instance ?ACCESSING AccessingWebPage)                     (instance ?PAGE WebPage)                     (member ?ACCESSING ?VISITS)                     (destination ?ACCESSING ?PAGE)                     (agent ?BUYING ?VISITOR)                     (agent ?ACCESSING ?VISITOR)                     (during                         (WhenFn ?BUYING)                         (WhenFn ?ACCESSING))                     (instrument ?BUYING ?PAGE))                 (member ?BUYING ?PURCHASES))))     (exists (?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)         (equal             (SCRFn ?VISITS ?INTERVAL)             (DivisionFn                 (CardinalityFn                     (KappaFn ?PURCHASE_IN_INTERVAL                         (and                             (member ?PURCHASE_IN_INTERVAL ?PURCHASES)                             (during                                 (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))                 (CardinalityFn                     (KappaFn ?VISIT_IN_INTERVAL                         (and                             (member ?VISIT_IN_INTERVAL ?VISITS)                             (during                                 (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))	UXExperimentalTerms.kif 3668-3704	コレクション は コレクション の instance では %n コレクション は コレクション の instance では %n コレクション は コレクション の 適切な sub-collection では %n 物理 物理 は コレクション の member では %n 物理 は AccessingWebPage の instance では %n 工程 AutonomousAgent, 工程, 工程 and オブジェクト AutonomousAgent は 人［人間］ の instance では %n 工程 は 購買 の instance では %n 工程 は AccessingWebPage の instance では %n オブジェクト は WebPage の instance では %n 工程 は コレクション の member では %n 工程 は オブジェクト に ends %n{ない} AutonomousAgent は 工程 の agent では %n AutonomousAgent は 工程 の agent では %n 工程 の time の existence は 工程 の time の existence の during に takes %n{ない} オブジェクト は 工程 の instrument では %n 工程 は コレクション の member では %n 時間間隔 エンティティー_IN_INTERVAL and エンティティー_IN_INTERVAL SCRFn コレクション and 時間間隔 は エンティティー_IN_INTERVALで記述される class の instances の数 + エンティティー_IN_INTERVALで記述される class の instances の数 と equal では %n
(=>     (and         (instance ?W Wagon)         (instance ?T Transportation)         (instrument ?T ?W))     (exists (?P)         (and             (instance ?T Pulling)             (agent ?T ?P)             (patient ?T ?W)             (or                 (instance ?P DomesticAnimal)                 (instance ?P Vehicle)))))	Transportation.kif 1852-1864	オブジェクト は Wagon の instance では %n 工程 は 交通手段 の instance では %n オブジェクト は 工程 の instrument では %n AutonomousAgent 工程 は Pulling の instance では %n AutonomousAgent は 工程 の agent では %n オブジェクト は 工程 の patient では %n AutonomousAgent は DomesticAnimal の instance では %n AutonomousAgent は Vehicle の instance では %n
(=>     (and         (instance ?WEAPON HighPrecisionWeapon)         (instrument ?DESTR ?WEAPON)         (patient ?DESTR ?PATIENT))     (hasPurpose ?WEAPON         (not             (exists (?DAMAGING ?DAMAGED)                 (and                     (instance ?DAMAGING Damaging)                     (subProcess ?DAMAGING ?DESTR)                     (patient ?DAMAGING ?DAMAGED)                     (not                         (equal ?PATIENT ?DAMAGED)))))))	MilitaryProcesses.kif 641-654	オブジェクト は HighPrecisionWeapon の instance では %n オブジェクト は 工程 の instrument では %n エンティティー は 工程 の patient では %n オブジェクト は エンティティー エンティティー エンティティー は 損害を与える の instance では %n エンティティー は 工程% の subprocess では %n エンティティー は エンティティー の patient では %n エンティティー は エンティティー と equal では の 目的 %n{ない}
(=>     (and         (instance ?WEAPON WeaponOfMassDestruction)         (instrument ?ATTACK ?WEAPON)         (instance ?ATTACK BiochemicalAttack))     (instance ?WEAPON BiochemicalWeapon))	WMD.kif 44-49	オブジェクト は WeaponOfMassDestruction の instance では %n オブジェクト は 工程 の instrument では %n 工程 は BiochemicalAttack の instance では %n オブジェクト は BiochemicalWeapon の instance では %n
(=>     (and         (instance ?WI WindInstrument)         (instance ?M MakingInstrumentalMusic)         (agent ?M ?A)         (instrument ?M ?WI))     (exists (?B)         (and             (instance ?B Exhaling)             (agent ?B ?A)             (subProcess ?B ?M))))	Music.kif 1203-1213	オブジェクト は WindInstrument の instance では %n 工程 は MakingInstrumentalMusic の instance では %n AutonomousAgent は 工程 の agent では %n オブジェクト は 工程 の instrument では %n 工程 工程 は Exhaling の instance では %n AutonomousAgent は 工程 の agent では %n 工程 は 工程% の subprocess では %n
(=>     (and         (instance ?X Photocopier)         (instrument ?COPY ?X)         (instance ?COPY Photocopying)         (patient ?COPY ?OBJ1)         (instance ?OBJ1 TwoDimensionalObject)         (instance ?OBJ1 VisualContentBearingObject)         (containsInformation ?OBJ1 ?INFO))     (exists (?OBJ2 ?SHEET)         (and             (result ?COPY ?OBJ2)             (instance ?OBJ2 TwoDimensionalObject)             (instance ?OBJ2 VisualContentBearingObject)             (containsInformation ?OBJ2 ?INFO)             (located ?OBJ2 ?SHEET)             (instance ?SHEET PrintedSheet))))	Mid-level-ontology.kif 26287-26303	オブジェクト は Photocopier の instance では %n オブジェクト は 工程 の instrument では %n 工程 は Photocopying の instance では %n ContentBearingPhysical は 工程 の patient では %n ContentBearingPhysical は TwoDimensionalObject の instance では %n ContentBearingPhysical は VisualContentBearingObject の instance では %n ContentBearingPhysical は 命題 の情報を contains %n{ない} ContentBearingPhysical オブジェクト ContentBearingPhysical は 工程 の result では %n ContentBearingPhysical は TwoDimensionalObject の instance では %n ContentBearingPhysical は VisualContentBearingObject の instance では %n ContentBearingPhysical は 命題 の情報を contains %n{ない} ContentBearingPhysical は オブジェクト に located して %n オブジェクト は PrintedSheet の instance では %n
(=>     (and         (muscleInsertion ?MC ?BPC)         (instance ?H Human)         (holdsDuring ?T             (attribute ?H StandardAnatomicalPosition))         (attribute ?H Healthy)         (instance ?C MuscularContraction)         (during             (WhenFn ?C) ?T)         (instance ?M ?MC)         (part ?M ?H)         (instrument ?C ?M)         (physicalEnd ?E ?M)         (meetsSpatially ?E ?BP)         (holdsDuring             (BeginFn ?C)             (located ?E ?L)))     (holdsDuring         (EndFn ?C)         (not             (located ?E ?L))))	Anatomy.kif 1758-1780	muscleInsertion 筋肉 and 体の部分 オブジェクト は 人［人間］ の instance では %n StandardAnatomicalPosition は オブジェクト の attribute では %n は 時間間隔 の during holds %n{ない} Healthy は オブジェクト の attribute では %n 時間間隔 は MuscularContraction の instance では %n 時間間隔 の time の existence は 時間間隔 の during に takes %n{ない} オブジェクト は 筋肉 の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は 時間間隔 の instrument では %n physicalEnd オブジェクト and オブジェクト オブジェクト は オブジェクト と meets %n{ない} オブジェクト は エンティティー に located して %n は 時間間隔 の beginning の during holds %n{ない} オブジェクト は エンティティー に located して は 時間間隔 の end の during holds %n{ない}
(=>     (and         (muscleOrigin ?MC ?BPC)         (instance ?H Human)         (holdsDuring ?T             (attribute ?H StandardAnatomicalPosition))         (attribute ?H Healthy)         (instance ?C MuscularContraction)         (during             (WhenFn ?C) ?T)         (instance ?M ?MC)         (part ?M ?H)         (instrument ?C ?M)         (physicalEnd ?E ?M)         (meetsSpatially ?E ?BP)         (holdsDuring             (BeginFn ?C)             (located ?E ?L)))     (holdsDuring         (EndFn ?C)         (located ?E ?L)))	Anatomy.kif 1708-1729	muscleOrigin 筋肉 and 体の部分 オブジェクト は 人［人間］ の instance では %n StandardAnatomicalPosition は オブジェクト の attribute では %n は 時間間隔 の during holds %n{ない} Healthy は オブジェクト の attribute では %n 時間間隔 は MuscularContraction の instance では %n 時間間隔 の time の existence は 時間間隔 の during に takes %n{ない} オブジェクト は 筋肉 の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は 時間間隔 の instrument では %n physicalEnd オブジェクト and オブジェクト オブジェクト は オブジェクト と meets %n{ない} オブジェクト は エンティティー に located して %n は 時間間隔 の beginning の during holds %n{ない} オブジェクト は エンティティー に located して %n は 時間間隔 の end の during holds %n{ない}
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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