(=>     (and         (instance ?SM StripMall)         (instance ?RS1 RetailStore)         (part ?RS1 ?SM))     (exists (?PL)         (and             (instance ?PL ParkingLot)             (orientation ?RS1 ?PL Adjacent))))	Medicine.kif 5155-5163	オブジェクト は StripMall の instance では オブジェクト は RetailStore の instance では オブジェクト は オブジェクト の part では オブジェクト オブジェクト は ParkingLot の instance では オブジェクト は Adjacent 対 オブジェクト では
(=>     (and         (instance ?STEM PlantStem)         (instance ?ROOT PlantRoot))     (modalAttribute         (orientation ?STEM ?ROOT Above) Likely))	Mid-level-ontology.kif 10868-10873	エンティティー は PlantStem の instance では エンティティー は PlantRoot の instance では ステートメント エンティティー は Above 対 エンティティー では には Likely の modal force が ある
(=>     (and         (instance ?T Thoracentesis)         (patient ?T ?H))     (exists (?I ?O ?IN ?L ?C ?F)         (and             (instance ?I Inserting)             (subProcess ?I ?T)             (objectTransferred ?I ?N)             (origin ?I ?O)             (destination ?I ?IN)             (instance ?N Needle)             (attribute ?F Fluid)             (objectTransferred ?T ?F)             (destination ?F ?O)             (instance ?L Lung)             (instance ?C Chest)             (part ?L ?H)             (part ?C ?H)             (origin ?T ?IN)             (destination ?T ?O)             (between ?L ?IN ?C)             (orientation ?O ?H Outside))))	Medicine.kif 886-908	移動 は Thoracentesis の instance では オブジェクト は 移動 の patient では 移動 オブジェクト, 移動N, オブジェクト, オブジェクト and オブジェクト 移動 は Inserting の instance では 移動 は 移動% の subprocess では objectTransferred 移動 and オブジェクト 移動 は オブジェクト から originates 移動 は 移動N に ends オブジェクト は Needle の instance では Fluid は オブジェクト の attribute では objectTransferred 移動 and オブジェクト オブジェクト は オブジェクト に ends オブジェクト は Lung の instance では オブジェクト は Chest の instance では オブジェクト は オブジェクト の part では オブジェクト は オブジェクト の part では 移動 は 移動N から originates 移動 は オブジェクト に ends 移動N は オブジェクト と オブジェクト の between では オブジェクト は Outside 対 オブジェクト では
(=>     (and         (instance ?VCS VentedChestSeal)         (instance ?A Attaching)         (objectTransferred ?A ?VCS)         (destination ?A ?H))     (hasPurpose ?VCS         (exists (?A ?L ?C ?H)             (and                 (instance ?A Air)                 (instance ?L Lung)                 (instance ?C Chest)                 (part ?L ?H)                 (part ?C ?H)                 (holdsDuring                     (ImmediatePastFn                         (WhenFn ?A))                     (between ?L ?A ?C))                 (hasPurpose ?VCS                     (holdsDuring                         (ImmediateFutureFn                             (WhenFn ?A))                         (orientation ?A ?H Outside)))))))	Medicine.kif 844-866	オブジェクト は VentedChestSeal の instance では 移動 は 取付け の instance では objectTransferred 移動 and オブジェクト 移動 は エンティティー に ends オブジェクト は 移動 エンティティー, エンティティー and エンティティー 移動 は Air の instance では エンティティー は Lung の instance では エンティティー は Chest の instance では エンティティー は エンティティー の part では エンティティー は エンティティー の part では 移動 は エンティティー と エンティティー の between では は 移動 の time の existence の immediately before の during holds オブジェクト は 移動 は Outside 対 エンティティー では は 移動 の time の existence の すぐ after の during holds の 目的 の 目的
(=>     (and         (instance ?W CoastalChinookWind)         (eventLocated ?W PacificNorthwest)         (origin ?W PacificOcean))     (orientation PacificOcean PacificNorthwest Upwind))	Weather.kif 1693-1698	工程 は CoastalChinookWind の instance では eventLocated 工程 and PacificNorthwest 工程 は PacificOcean から originates PacificOcean は Upwind 対 PacificNorthwest では
(=>     (and         (instance ?W FohnWind)         (eventLocated ?W ?A)         (instance ?A GeographicArea)         (instance ?M MountainRange))     (orientation ?A ?M Downwind))	Weather.kif 1742-1748	工程 は FohnWind の instance では eventLocated 工程 and オブジェクト オブジェクト は 地理的地域 の instance では オブジェクト は MountainRange の instance では オブジェクト は Downwind 対 オブジェクト では
(=>     (and         (instance ?W FohnWind)         (path ?W ?P)         (origin ?W ?H)         (destination ?W ?L)         (beforeOnPath ?H ?L ?P ?W))     (orientation ?L ?H Downhill))	Weather.kif 1733-1740	移動 は FohnWind の instance では オブジェクト は 移動 が 発生する path では 移動 は オブジェクト から originates 移動 は オブジェクト に ends beforeOnPath オブジェクト, オブジェクト, オブジェクト and 移動 オブジェクト は Downhill 対 オブジェクト では
(=>     (and         (instance ?W InteriorChinookWind)         (eventLocated ?W ?A)         (geographicSubregion ?A WesternNorthAmerica)         (instance ?M MountainRange))     (orientation ?A ?M East))	Weather.kif 1715-1721	工程 は InteriorChinookWind の instance では eventLocated 工程 and 地理的地域 geographicSubregion 地理的地域 and WesternNorthAmerica オブジェクト は MountainRange の instance では 地理的地域 は East 対 オブジェクト では
(=>     (and         (instance ?W Mistral)         (eventLocated ?W ?A)         (instance ?A GeographicArea)         (origin ?W SouthernFrance)         (destination ?W GulfOfLion))     (and         (geographicSubregion ?A MediterraneanRegion)         (orientation ?A MediterraneanSea North)         (geographicSubregion ?A SoutheasternEurope)))	Weather.kif 1639-1649	工程 は Mistral の instance では eventLocated 工程 and 地理的地域 地理的地域 は 地理的地域 の instance では 工程 は SouthernFrance から originates 工程 は GulfOfLion に ends geographicSubregion 地理的地域 and MediterraneanRegion 地理的地域 は North 対 MediterraneanSea では geographicSubregion 地理的地域 and SoutheasternEurope
(=>     (and         (instance ?W ZondaWind)         (eventLocated ?W ?A)         (geographicSubregion ?A Argentina))     (orientation ?A AndesMountains East))	Weather.kif 1759-1764	工程 は ZondaWind の instance では eventLocated 工程 and 地理的地域 geographicSubregion 地理的地域 and Argentina 地理的地域 は East 対 AndesMountains では
(=>     (and         (instance ?X Argument)         (instance ?R Reasoning)         (instance ?A Archeology)         (subProposition ?X ?A)         (realization ?R ?X))     (exists (?D ?S ?O ?T ?W ?L)         (and             (instance ?D Discovering)             (instance ?O Object)             (patient ?D ?O)             (refers ?R ?D)             (earlier                 (WhenFn ?D)                 (WhenFn ?R))             (age ?O                 (MeasureFn ?T YearDuration))             (greaterThan ?T 50)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?D))                 (or                     (and                         (surface ?S ?W)                         (instance ?W BodyOfWater)                         (orientation ?O ?S Below))                     (and                         (surface ?S ?L)                         (instance ?L LandArea)                         (orientation ?O ?S Below)))))))	Mid-level-ontology.kif 22764-22794	命題 は Argument の instance では 工程 は 推理 の instance では 命題 は Archeology の instance では 命題 は 命題 の sub-proposition では 工程 は 命題 の内容を expresses 工程 エンティティー, 物理, 実数, エンティティー and エンティティー 工程 は Discovering の instance では 物理 は オブジェクト の instance では 物理 は 工程 の patient では 工程 は 工程 への reference を includes 工程 の time の existence は 工程 の time の existence より earlier happens 物理 の age は 実数 の YearDuration(s) では 実数 は 50 より greater では　 エンティティー は エンティティー の surface では エンティティー は BodyOfWater の instance では 物理 は Below 対 エンティティー では エンティティー は エンティティー の surface では エンティティー は 土地面積 の instance では 物理 は Below 対 エンティティー では は 工程 の time の existence の immediately before の during holds
(=>     (and         (instance ?X Bed)         (component ?BEDFRAME ?X)         (instance ?BEDFRAME BedFrame)         (component ?MATTRESS ?X)         (instance ?MATTRESS Mattress))     (orientation ?MATTRESS ?BEDFRAME On))	Mid-level-ontology.kif 4497-4504	微粒子オブジェクト は Bed の instance では 微粒子オブジェクト は 微粒子オブジェクト の component では 微粒子オブジェクト は BedFrame の instance では 微粒子オブジェクト は 微粒子オブジェクト の component では 微粒子オブジェクト は Mattress の instance では 微粒子オブジェクト は On 対 微粒子オブジェクト では
(=>     (and         (instance ?X CarAlarm)         (instance ?CAR SelfPoweredRoadVehicle)         (part ?X ?CAR))     (exists (?HARM ?THIEF ?T ?L)         (hasPurpose ?X             (=>                 (and                     (or                         (instance ?HARM Stealing)                         (instance ?HARM Damaging))                     (instance ?THIEF Human)                     (agent ?HARM ?THIEF)                     (patient ?HARM ?CAR)                     (equal                         (WhenFn ?HARM) ?T)                     (eventPartlyLocated ?HARM ?L))                 (exists (?ALARM)                     (and                         (instance ?ALARM RadiatingSound)                         (agent ?ALARM ?X)                         (causes ?HARM ?ALARM)                         (hasPurpose ?ALARM                             (increasesLikelihood                                 (exists (?WITNESS)                                     (and                                         (instance ?WITNESS Human)                                         (holdsDuring ?T                                             (orientation ?WITNESS ?L Near))))                                 (or                                     (knows ?WITNESS                                         (exists (?H)                                             (and                                                 (or                                                     (instance ?H Stealing)                                                     (instance ?H Damaging))                                                 (eventPartlyLocated ?H ?L)                                                 (holdsDuring ?T                                                     (patient ?H ?CAR)))))                                     (finishes                                         (WhenFn ?ALARM)                                         (WhenFn ?HARM)))))))))))	Cars.kif 3771-3812	オブジェクト は CarAlarm の instance では オブジェクト は SelfPoweredRoadVehicle の instance では オブジェクト は オブジェクト の part では エンティティー エンティティー, エンティティー and エンティティー オブジェクト は エンティティー は Stealing の instance では エンティティー は 損害を与える の instance では エンティティー は 人［人間］ の instance では エンティティー は エンティティー の agent では オブジェクト は エンティティー の patient では equal エンティティー の time の existence and エンティティー eventPartlyLocated エンティティー and エンティティー エンティティー エンティティー は 放射音 の instance では オブジェクト は エンティティー の agent では エンティティー は エンティティー を causes エンティティー は エンティティー エンティティー は 人［人間］ の instance では エンティティー は Near 対 エンティティー では は エンティティー の during holds は エンティティー は エンティティー エンティティー は Stealing の instance では エンティティー は 損害を与える の instance では eventPartlyLocated エンティティー and エンティティー オブジェクト は エンティティー の patient では は エンティティー の during holds を knows エンティティー の time の existence は エンティティー の time の existence を finishes の 可能性を increases の 目的 の 目的
(=>     (and         (instance ?X FruitOrVegetable)         (part ?F ?X)         (instance ?F FleshOrPulp)         (part ?P ?X)         (instance ?P PeelOrRind))     (orientation ?F ?P Inside))	Food.kif 2323-2330	オブジェクト は 果物または野菜 の instance では オブジェクト は オブジェクト の part では オブジェクト は FleshOrPulp の instance では オブジェクト は オブジェクト の part では オブジェクト は PeelOrRind の instance では オブジェクト は Inside 対 オブジェクト では
(=>     (and         (instance ?area LandArea)         (groundSurfaceType ?area ?type1)         (groundSubsurfaceType ?area ?type2))     (exists (?above ?below)         (and             (instance ?above ?type1)             (instance ?below ?type2)             (orientation ?above ?below Above))))	Geography.kif 4528-4537	土地面積 は 土地面積 の instance では groundSurfaceType 土地面積 and 物質 groundSubsurfaceType 土地面積 and 物質 オブジェクト オブジェクト オブジェクト は 物質 の instance では オブジェクト は 物質 の instance では オブジェクト は Above 対 オブジェクト では
(=>     (and         (orientation ?OBJ1 ?OBJ2 ?ATTR1)         (contraryAttribute @ROW)         (inList ?ATTR1             (ListFn @ROW))         (inList ?ATTR2             (ListFn @ROW))         (not             (equal ?ATTR1 ?ATTR2)))     (not         (orientation ?OBJ1 ?OBJ2 ?ATTR2)))	Merge.kif 17096-17104	オブジェクト は 位置属性 対 オブジェクト では @ROW は の disjoint では 位置属性 は (@ROW) の member では 位置属性 は (@ROW) の member では equal 位置属性 and 位置属性 オブジェクト は 位置属性 対 オブジェクト では
(=>     (and         (orientation ?OBJ1 ?OBJ2 ?DIR)         (instance ?DIR PositionalAttribute)         (oppositeDirection ?DIR ?OPPDIR))     (orientation ?OBJ2 ?OBJ1 ?OPPDIR))	Mid-level-ontology.kif 19707-19712	オブジェクト は 位置属性 対 オブジェクト では 位置属性 は 位置属性 の instance では oppositeDirection 位置属性 and 位置属性 オブジェクト は 位置属性 対 オブジェクト では
(=>     (and         (orientation ?X ?Y Right)         (orientation ?Z ?Y Left))     (orientation ?X ?Z Right))	Merge.kif 17106-17110	オブジェクト は Right 対 オブジェクト では オブジェクト は Left 対 オブジェクト では オブジェクト は Right 対 オブジェクト では
(=>     (and         (side ?SIDE ?OBJECT)         (part ?PART ?OBJECT)         (not             (connected ?PART ?SIDE)))     (exists (?DIRECT)         (orientation ?SIDE ?PART ?DIRECT)))	Merge.kif 9883-9890	自己接続オブジェクト の side は 自己接続オブジェクト では オブジェクト は 自己接続オブジェクト の part では オブジェクト は 自己接続オブジェクト と connected して 位置属性 自己接続オブジェクト は 位置属性 対 オブジェクト では
(=>     (and         (top ?TOP ?OBJECT)         (part ?PART ?OBJECT)         (not             (connected ?PART ?TOP)))     (orientation ?PART ?TOP Below))	Merge.kif 9868-9873	自己接続オブジェクト の top は 自己接続オブジェクト では オブジェクト は 自己接続オブジェクト の part では オブジェクト は 自己接続オブジェクト と connected して オブジェクト は Below 対 自己接続オブジェクト では
(=>     (and         (visibilityInMeteorology ?Area ?Time             (MeasureFn ?Distance ?U))         (instance ?U UnitOfMeasure))     (not         (exists (?Observe ?A ?B ?D2)             (and                 (instance ?Observe Looking)                 (agent ?Observe ?A)                 (patient ?Observe ?B)                 (orientation ?A ?B Horizontal)                 (during                     (WhenFn ?Observe) ?Time)                 (eventLocated ?Observe ?Area)                 (distance ?A ?B                     (MeasureFn ?D2 ?U))                 (greaterThan ?D2 ?Distance)))))	Weather.kif 3433-3450	visibilityInMeteorology 地域, 時間間隔 and 実数 の 測定単位(s) 測定単位 は 測定単位 の instance では 工程 AutonomousAgent, オブジェクト and 実数 工程 は Looking の instance では AutonomousAgent は 工程 の agent では オブジェクト は 工程 の patient では AutonomousAgent は Horizontal 対 オブジェクト では 工程 の time の existence は 時間間隔 の during に takes eventLocated 工程 and 地域 AutonomousAgent と オブジェクト の distance は 実数 の 測定単位(s) では 実数 は 実数 より greater では
(=>     (attribute ?ROOM OpenLayout)     (and         (instance ?ROOM Room)         (exists (?R1 ?R2 ?H)             (and                 (instance ?R1 Region)                 (instance ?R2 Region)                 (located ?R1 ?ROOM)                 (located ?R2 ?ROOM)                 (not                     (equal ?R1 ?R2))                 (orientation ?R1 ?R2 Adjacent)                 (exists (?P1 ?P2)                     (and                         (instance ?P1 Process)                         (instance ?P2 Process)                         (hasPurpose ?R1 ?P1)                         (hasPurpose ?R2 ?P2)))                 (=>                     (and                         (instance ?H AutonomousAgent)                         (located ?H ?R2))                     (and                         (capability Seeing agent ?H)                         (capability Seeing patient ?R1)))))))	Dining.kif 956-980	OpenLayout は オブジェクト の attribute では オブジェクト は 部屋 の instance では オブジェクト オブジェクト and オブジェクト オブジェクト は 地域 の instance では オブジェクト は 地域 の instance では オブジェクト は オブジェクト に located して オブジェクト は オブジェクト に located して equal オブジェクト and オブジェクト オブジェクト は Adjacent 対 オブジェクト では 公式 公式 公式 は 工程 の instance では 公式 は 工程 の instance では オブジェクト は 公式 の 目的 オブジェクト は 公式 の 目的 オブジェクト は AutonomousAgent の instance では オブジェクト は オブジェクト に located して オブジェクト は 見ること を agent として行う capable では オブジェクト は 見ること を patient として行う capable では
(=>     (attribute ?X AdjoiningRoom)     (exists (?ROOM ?WALL ?DOOR)         (and             (attribute ?ROOM AdjoiningRoom)             (not                 (equal ?ROOM ?X))             (orientation ?X ?ROOM Adjacent)             (instance ?WALL Wall)             (part ?WALL ?ROOM)             (part ?WALL ?X)             (instance ?DOOR Door)             (part ?DOOR ?WALL))))	Mid-level-ontology.kif 16610-16621	AdjoiningRoom は オブジェクト の attribute では オブジェクト オブジェクト and オブジェクト AdjoiningRoom は オブジェクト の attribute では equal オブジェクト and オブジェクト オブジェクト は Adjacent 対 オブジェクト では オブジェクト は Wall の instance では オブジェクト は オブジェクト の part では オブジェクト は オブジェクト の part では オブジェクト は Door の instance では オブジェクト は オブジェクト の part では
(=>     (attribute ?X DownAndInRoom)     (exists (?LOC ?INDOOR)         (and             (instance ?INDOOR Indoors)             (instance ?LOC Region)             (orientation ?LOC ?X Adjacent)             (orientation ?LOC ?X Outside)             (located ?LOC ?INDOOR))))	Hotel.kif 1065-1073	DownAndInRoom は オブジェクト の attribute では オブジェクト オブジェクト オブジェクト は Indoors の instance では オブジェクト は 地域 の instance では オブジェクト は Adjacent 対 オブジェクト では オブジェクト は Outside 対 オブジェクト では オブジェクト は オブジェクト に located して
(=>     (attribute ?X DownAndOutRoom)     (exists (?LOC ?OUTDOOR)         (and             (instance ?OUTDOOR Outdoors)             (instance ?LOC Region)             (orientation ?LOC ?X Adjacent)             (orientation ?LOC ?X Outside)             (located ?LOC ?OUTDOOR))))	Hotel.kif 1080-1088	DownAndOutRoom は オブジェクト の attribute では オブジェクト オブジェクト オブジェクト は Outdoors の instance では オブジェクト は 地域 の instance では オブジェクト は Adjacent 対 オブジェクト では オブジェクト は Outside 対 オブジェクト では オブジェクト は オブジェクト に located して
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