(=>     (and         (instance ?A Armor)         (or             (part ?A ?OBJ)             (meetsSpatially ?A ?OBJ)))     (hasPurpose ?A         (not             (exists (?DAMAGING)                 (and                     (instance ?DAMAGING Damaging)                     (instrument ?DAMAGING ?A)                     (experiencer ?DAMAGING ?OBJ))))))	MilitaryDevices.kif 1632-1644	オブジェクト は Armor の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト と meets %n{ない} オブジェクト は エンティティー エンティティー は 損害を与える の instance では %n オブジェクト は エンティティー の instrument では %n オブジェクト が エンティティー を experiences %n{ない} の 目的 %n{ない}
(=>     (and         (instance ?A Asphyxiation)         (experiencer ?A ?M))     (holdsDuring         (WhenFn ?A)         (not             (exists (?B)                 (and                     (instance ?B Breathing)                     (experiencer ?B ?A))))))	Medicine.kif 6304-6313	工程 は Asphyxiation の instance では %n AutonomousAgent が 工程 を experiences %n{ない} エンティティー エンティティー は 呼吸 の instance では %n 工程 が エンティティー を experiences %n{ない} は 工程 の time の existence の during holds %n{ない}
(=>     (and         (instance ?A AutonomousAgent)         (holdsDuring ?T             (attribute ?A Motionless)))     (not         (exists (?P)             (and                 (instance ?P BodyMotion)                 (instance ?P IntentionalProcess)                 (agent ?P ?A)                 (during                     (WhenFn ?P) ?T)))))	Mid-level-ontology.kif 30242-30253	AutonomousAgent は AutonomousAgent の instance では %n Motionless は AutonomousAgent の attribute では %n は 時間間隔 の during holds %n{ない} 工程 工程 は 動作 の instance では %n 工程 は 意図的なプロセス の instance では %n AutonomousAgent は 工程 の agent では %n 工程 の time の existence は 時間間隔 の during に takes %n{ない}
(=>     (and         (instance ?A LocalAnesthetizing)         (located ?A ?BP)         (instance ?BP BodyPart)         (part ?BP ?P)         (patient ?A ?P))     (holdsDuring         (WhenFn ?A)         (not             (attribute ?P                 (PainFn ?BP)))))	Medicine.kif 1008-1019	工程 は LocalAnesthetizing の instance では %n 工程 は オブジェクト に located して %n オブジェクト は 体の部分 の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は 工程 の patient では %n PainFn オブジェクト は オブジェクト の attribute では は 工程 の time の existence の during holds %n{ない}
(=>     (and         (instance ?A Sedating)         (patient ?A ?P))     (holdsDuring         (WhenFn ?A)         (and             (attribute ?P Conscious)             (not                 (attribute ?P Anxiety)))))	Medicine.kif 983-992	工程 は Sedating の instance では %n エンティティー は 工程 の patient では %n Conscious は エンティティー の attribute では %n Anxiety は エンティティー の attribute では は 工程 の time の existence の during holds %n{ない}
(=>     (and         (instance ?ABORTED             (AbortedMissionFn ?A ?MISSION))         (causes ?ACTION ?ABORTED)         (agent ?ACTION ?OTHER_A)         (agent ?MISSION ?THIS_A))     (not         (enemy ?OTHER_A ?THIS_A)))	MilitaryProcesses.kif 2440-2445	工程 は AbortedMissionFn AutonomousAgent and MilitaryOperation の instance では %n AutonomousAgentCTION は 工程 を causes %n{ない} エンティティー_A は AutonomousAgentCTION の agent では %n エンティティー_A は MilitaryOperation の agent では %n enemy エンティティー_A and エンティティー_A
(=>     (and         (instance ?ACT ActivatingUIElement)         (patient ?ACT ?GUIE)         (instance ?GUIE GUIElement))     (and         (holdsDuring             (EndFn ?ACT)             (hasGUEState ?GUIE GUE_ActiveState))         (holdsDuring             (BeginFn ?ACT)             (not                 (hasGUEState ?GUIE GUE_ActiveState)))))	ComputerInput.kif 2268-2277	時間間隔 は ActivatingUIElement の instance では %n エンティティー は 時間間隔 の patient では %n エンティティー は GUIElement の instance では %n hasGUEState エンティティー and GUE_ActiveState は 時間間隔 の end の during holds %n{ない} hasGUEState エンティティー and GUE_ActiveState は 時間間隔 の beginning の during holds %n{ない}
(=>     (and         (instance ?ACT BringingGEToFront)         (patient ?ACT ?WINDOW)         (instance ?WINDOW InterfaceWindow)         (holdsDuring             (BeginFn ?ACT)             (hasGUEState ?WINDOW ?STATE))         (contraryAttribute ?STATE GUE_UncoveredState))     (holdsDuring         (EndFn ?ACT)         (not             (hasGUEState ?WINDOW ?STATE))))	ComputerInput.kif 2332-2343	時間間隔 は BringingGEToFront の instance では %n エンティティー は 時間間隔 の patient では %n エンティティー は InterfaceWindow の instance では %n hasGUEState エンティティー and 属性 は 時間間隔 の beginning の during holds %n{ない} 属性 は GUE_UncoveredState の disjoint では %n hasGUEState エンティティー and 属性 は 時間間隔 の end の during holds %n{ない}
(=>     (and         (instance ?ACT DownloadingNonAudioVideoImageUserFile)         (patient ?ACT ?FILE)         (instance ?FILE ComputerFile))     (and         (not             (instance ?FILE ImageFile))         (not             (instance ?FILE AudioFile))         (not             (instance ?FILE MultimediaFile))))	ComputerInput.kif 2761-2772	工程 は DownloadingNonAudioVideoImageUserFile の instance では %n エンティティー は 工程 の patient では %n エンティティー は ComputerFile の instance では %n エンティティー は ImageFile の instance では エンティティー は AudioFile の instance では エンティティー は MultimediaFile の instance では
(=>     (and         (instance ?ADULT HumanAdult)         (height ?ADULT             (MeasureFn ?HEIGHT Inch)))     (not         (greaterThan ?HEIGHT 120.0)))	Mid-level-ontology.kif 211-217	自己接続オブジェクト は HumanAdult の instance では %n 自己接続オブジェクト の height は 実数 の Inch(s) では %n 実数 は 120.0 より greater では
(=>     (and         (instance ?AI AutoImmuneDisorder)         (experiencer ?AI ?H))     (exists (?A ?D ?C)         (and             (instance ?A Antibody)             (part ?A ?H)             (instance ?C Cell)             (part ?C ?H)             (instance ?D Destruction)             (instrument ?D ?A)             (not                 (desires ?H                     (and                         (instance ?D Destruction)                         (instrument ?D ?A)))))))	Medicine.kif 2200-2216	工程 は AutoImmuneDisorder の instance では %n 認識エージェント が 工程 を experiences %n{ない} オブジェクト 工程 and オブジェクト オブジェクト は Antibody の instance では %n オブジェクト は 認識エージェント の part では %n オブジェクト は 細胞 の instance では %n オブジェクト は 認識エージェント の part では %n 工程 は 破壊 の instance では %n オブジェクト は 工程 の instrument では %n 認識エージェント が 工程 は 破壊 の instance では %n オブジェクト は 工程 の instrument では %n を desire ない
(=>     (and         (instance ?ALT ShapeChange)         (patient ?ALT ?OBJ))     (exists (?PROPERTY)         (and             (instance ?PROPERTY ShapeAttribute)             (or                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?ALT))                         (attribute ?OBJ ?PROPERTY))                     (holdsDuring                         (EndFn                             (WhenFn ?ALT))                         (not                             (attribute ?OBJ ?PROPERTY))))                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?ALT))                         (not                             (attribute ?OBJ ?PROPERTY)))                     (holdsDuring                         (EndFn                             (WhenFn ?ALT))                         (attribute ?OBJ ?PROPERTY)))))))	Merge.kif 12656-12669	工程 は 形状変化 の instance では %n エンティティー は 工程 の patient では %n エンティティー エンティティー は 形状属性 の instance では %n エンティティー は エンティティー の attribute では %n は 工程 の time の existence の beginning の during holds %n{ない} エンティティー は エンティティー の attribute では は 工程 の time の existence の end の during holds %n{ない} エンティティー は エンティティー の attribute では は 工程 の time の existence の beginning の during holds %n{ない} エンティティー は エンティティー の attribute では %n は 工程 の time の existence の end の during holds %n{ない}
(=>     (and         (instance ?ALT SurfaceChange)         (patient ?ALT ?OBJ))     (exists (?PART ?PROPERTY)         (and             (superficialPart ?PART ?OBJ)             (or                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?ALT))                         (attribute ?PART ?PROPERTY))                     (holdsDuring                         (EndFn                             (WhenFn ?ALT))                         (not                             (attribute ?PART ?PROPERTY))))                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?ALT))                         (not                             (attribute ?PART ?PROPERTY)))                     (holdsDuring                         (EndFn                             (WhenFn ?ALT))                         (attribute ?PART ?PROPERTY)))))))	Merge.kif 12616-12629	工程 は 表面変化 の instance では %n オブジェクト は 工程 の patient では %n オブジェクト エンティティー オブジェクト は オブジェクト の superficial 部分では %n エンティティー は オブジェクト の attribute では %n は 工程 の time の existence の beginning の during holds %n{ない} エンティティー は オブジェクト の attribute では は 工程 の time の existence の end の during holds %n{ない} エンティティー は オブジェクト の attribute では は 工程 の time の existence の beginning の during holds %n{ない} エンティティー は オブジェクト の attribute では %n は 工程 の time の existence の end の during holds %n{ない}
(=>     (and         (instance ?AMBULATE Ambulating)         (equal ?DURATION             (WhenFn ?AMBULATE)))     (exists (?STEP1 ?STEPN)         (and             (instance ?STEP1 Stepping)             (instance ?STEPN Stepping)             (subProcess ?STEP1 ?AMBULATE)             (subProcess ?STEPN ?AMBULATE)             (starts                 (WhenFn ?STEP1) ?DURATION)             (finishes                 (WhenFn ?STEPN) ?DURATION)             (not                 (equal ?STEP1 ?STEPN)))))	Mid-level-ontology.kif 487-499	工程 は Ambulating の instance では %n 時間間隔 は 工程 の time の existence と equal では %n 工程 工程 工程 は Stepping の instance では %n 工程 は Stepping の instance では %n 工程 は 工程% の subprocess では %n 工程 は 工程% の subprocess では %n 工程 の time の existence は 時間間隔 を starts %n{ない} 工程 の time の existence は 時間間隔 を finishes %n{ない} 工程 は 工程 と equal では
(=>     (and         (instance ?AREA GeographicArea)         (geographicSubregion             (ElevationHighPointFn ?AREA) ?AREA)         (elevation             (ElevationHighPointFn ?AREA)             (MeasureFn ?ELEV1 ?UNIT)))     (not         (exists (?OTHER ?ELEV2)             (and                 (geographicSubregion ?OTHER ?AREA)                 (not                     (equal ?OTHER                         (ElevationHighPointFn ?AREA)))                 (elevation ?OTHER                     (MeasureFn ?ELEV2 ?UNIT))                 (greaterThan ?ELEV2 ?ELEV1)))))	Geography.kif 1964-1975	地理的地域 は 地理的地域 の instance では %n geographicSubregion ElevationHighPointFn 地理的地域 and 地理的地域 elevation ElevationHighPointFn 地理的地域 and 実数 の 測定単位(s) 地理的地域 実数 geographicSubregion 地理的地域 and 地理的地域 地理的地域 は ElevationHighPointFn 地理的地域 と equal では elevation 地理的地域 and 実数 の 測定単位(s) 実数 は 実数 より greater では　%n
(=>     (and         (instance ?AREA GeographicArea)         (geographicSubregion             (ElevationLowPointFn ?AREA) ?AREA)         (instance ?U UnitOfLength)         (elevation             (ElevationLowPointFn ?AREA)             (MeasureFn ?ELEV1 ?U)))     (not         (exists (?OTHER ?ELEV2)             (and                 (geographicSubregion ?OTHER ?AREA)                 (not                     (equal ?OTHER                         (ElevationLowPointFn ?AREA)))                 (elevation ?OTHER                     (MeasureFn ?ELEV2 ?U))                 (lessThan ?ELEV2 ?ELEV1)))))	Geography.kif 1940-1954	地理的地域 は 地理的地域 の instance では %n geographicSubregion ElevationLowPointFn 地理的地域 and 地理的地域 測定単位 は UnitOfLength の instance では %n elevation ElevationLowPointFn 地理的地域 and 実数 の 測定単位(s) 地理的地域 実数 geographicSubregion 地理的地域 and 地理的地域 地理的地域 は ElevationLowPointFn 地理的地域 と equal では elevation 地理的地域 and 実数 の 測定単位(s) 実数 は 実数 より less では %n
(=>     (and         (instance ?AREA GeographicArea)         (instance ?BLOW VolcanicEruption)         (eventLocated ?BLOW ?AREA))     (not         (attribute ?AREA GeologicallyStable)))	Geography.kif 1865-1870	オブジェクト は 地理的地域 の instance では %n 工程 は VolcanicEruption の instance では %n eventLocated 工程 and オブジェクト GeologicallyStable は オブジェクト の attribute では
(=>     (and         (instance ?AREA GeographicArea)         (instance ?CONE Volcano)         (attribute ?CONE VolcanicallyActive))     (not         (attribute ?AREA GeologicallyStable)))	Geography.kif 1858-1863	オブジェクト は 地理的地域 の instance では %n オブジェクト は Volcano の instance では %n VolcanicallyActive は オブジェクト の attribute では %n GeologicallyStable は オブジェクト の attribute では
(=>     (and         (instance ?AREA GeographicArea)         (instance ?FAULT GeologicalFault)         (located ?FAULT ?AREA))     (not         (attribute ?AREA GeologicallyStable)))	Geography.kif 1879-1884	オブジェクト は 地理的地域 の instance では %n 物理 は GeologicalFault の instance では %n 物理 は オブジェクト に located して %n GeologicallyStable は オブジェクト の attribute では
(=>     (and         (instance ?AREA GeographicArea)         (instance ?SHAKING EarthTremor)         (eventLocated ?SHAKING ?AREA))     (not         (attribute ?AREA GeologicallyStable)))	Geography.kif 1872-1877	オブジェクト は 地理的地域 の instance では %n 工程 は EarthTremor の instance では %n eventLocated 工程 and オブジェクト GeologicallyStable は オブジェクト の attribute では
(=>     (and         (instance ?AREA LandlockedArea)         (instance ?AREA GeopoliticalArea))     (not         (exists (?CLAIM)             (and                 (instance ?CLAIM MaritimeClaimArea)                 (claimedTerritory ?CLAIM ?AREA)))))	Geography.kif 924-932	AutonomousAgent は LandlockedArea の instance では %n AutonomousAgent は 地政学的地域 の instance では %n 地理的地域 地理的地域 は MaritimeClaimArea の instance では %n claimedTerritory 地理的地域 and AutonomousAgent
(=>     (and         (instance ?AREA LandlockedArea)         (subclass ?CLAIM MaritimeClaimArea))     (not         (maritimeClaimType ?AREA ?CLAIM)))	Geography.kif 983-987	地政学的地域 は LandlockedArea の instance では %n MaritimeClaimArea は MaritimeClaimArea の subclass では %n maritimeClaimType 地政学的地域 and MaritimeClaimArea
(=>     (and         (instance ?ARTICLE1 Article)         (instance ?BOOK Book)         (subsumesContentInstance ?BOOK ?ARTICLE1))     (exists (?ARTICLE2)         (and             (instance ?ARTICLE2 Article)             (not                 (equal ?ARTICLE2 ?ARTICLE1))             (subsumesContentInstance ?BOOK ?ARTICLE2))))	Mid-level-ontology.kif 14682-14691	ContentBearingPhysical は 記事 の instance では %n ContentBearingPhysical は 本 の instance では %n ContentBearingPhysical は ContentBearingPhysical の コンテンツを subsumes %n{ない} ContentBearingPhysical ContentBearingPhysical は 記事 の instance では %n ContentBearingPhysical は ContentBearingPhysical と equal では ContentBearingPhysical は ContentBearingPhysical の コンテンツを subsumes %n{ない}
(=>     (and         (instance ?ATT1 Attribute)         (instance ?ATT2 Attribute)         (subrelation ?PRED attribute))     (not         (and             (contraryAttributeWRT ?ATT1 ?ATT2 ?PRED)             (?PRED ?ENTITY ?ATT1)             (?PRED ?ENTITY ?ATT2))))	ComputerInput.kif 43-52	属性 は 属性 の instance では %n 属性 は 属性 の instance では %n 2進述語 は attribute の subrelation では %n ~{ contraryAttributeWRT 属性, 属性 and 2進述語 } ~{ 2進述語 エンティティー and 属性 } ~{ 2進述語 エンティティー and 属性 }
(=>     (and         (instance ?ATTACH Attaching)         (patient ?ATTACH ?OBJ1)         (patient ?ATTACH ?OBJ2))     (and         (holdsDuring             (BeginFn                 (WhenFn ?ATTACH))             (not                 (connected ?OBJ1 ?OBJ2)))         (holdsDuring             (EndFn                 (WhenFn ?ATTACH))             (connected ?OBJ1 ?OBJ2))))	Merge.kif 12360-12367	工程 は 取付け の instance では %n エンティティー は 工程 の patient では %n エンティティー は 工程 の patient では %n エンティティー は エンティティー と connected して は 工程 の time の existence の beginning の during holds %n{ない} エンティティー は エンティティー と connected して は 工程 の time の existence の 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