(=>     (and         (instance ?IMPORT Importing)         (patient ?IMPORT ?ITEM)         (instance ?AREA1 GeopoliticalArea)         (holdsDuring             (BeginFn                 (WhenFn ?IMPORT))             (located ?ITEM ?AREA1)))     (exists (?AREA2)         (and             (instance ?AREA2 GeopoliticalArea)             (not                 (geopoliticalSubdivision ?AREA1 ?AREA2))             (not                 (geopoliticalSubdivision ?AREA2 ?AREA1))             (holdsDuring                 (EndFn                     (WhenFn ?IMPORT))                 (located ?ITEM ?AREA2)))))	Economy.kif 2832-2851	例 Process and Importing 患者 Process and Entity 例 GeopoliticalArea and GeopoliticalArea 持有期間 開始 何時 Process and 位於 Entity and GeopoliticalArea GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea 地緣政治細分 GeopoliticalArea and GeopoliticalArea 地緣政治細分 GeopoliticalArea and GeopoliticalArea 持有期間 結束 何時 Process and 位於 Entity and GeopoliticalArea
(=>     (and         (instance ?IMPORT Importing)         (patient ?IMPORT ?ITEM)         (instance ?AREA1 GeopoliticalArea)         (instance ?AREA2 GeopoliticalArea)         (holdsDuring             (BeginFn                 (WhenFn ?IMPORT))             (located ?ITEM ?AREA1))         (holdsDuring             (EndFn                 (WhenFn ?IMPORT))             (located ?ITEM ?AREA2)))     (not         (located ?AREA2 ?AREA1)))	Economy.kif 2862-2877	例 Process and Importing 患者 Process and Entity 例 Object and GeopoliticalArea 例 Physical and GeopoliticalArea 持有期間 開始 何時 Process and 位於 Entity and Object 持有期間 結束 何時 Process and 位於 Entity and Physical 位於 Physical and Object
(=>     (and         (instance ?L Lever)         (instance ?P Pushing)         (instance ?M1 Motion)         (instance ?U UnitOfLength)         (destination ?P ?E1)         (physicalEnd ?E1 ?L)         (physicalEnd ?E2 ?L)         (not             (equal ?E1 ?E2))         (holdsDuring             (ImmediatePastFn                 (WhenFn ?M1))             (located ?E1 ?P1))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?M1))             (located ?E1 ?P2))         (holdsDuring             (ImmediatePastFn                 (WhenFn ?M1))             (located ?E2 ?P3))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?M1))             (located ?E2 ?P4))         (distance ?P1 ?P2             (MeasureFn ?D1 ?U))         (distance ?P3 ?P4             (MeasureFn ?D2 ?U)))     (greaterThan ?D2 ?D1))	Mid-level-ontology.kif 1549-1572	例 Object and Lever 例 Process and Pushing 例 Physical and Motion 例 UnitOfMeasure and UnitOfLength 目的地 Process and Object physicalEnd Object and Object physicalEnd Object and Object equal Object and Object 持有期間 不久的過去 何時 Physical and 位於 Object and Process 持有期間 眼前的未來 何時 Physical and 位於 Object and Process 持有期間 不久的過去 何時 Physical and 位於 Object and Process 持有期間 眼前的未來 何時 Physical and 位於 Object and Process 距離 Process, Process and 測量 RealNumber and UnitOfMeasure 距離 Process, Process and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
(=>     (and         (instance ?MC MuscleRelaxing)         (patient ?MC ?M)         (instance ?M Muscle)         (holdsDuring             (ImmediatePastFn                 (WhenFn ?MC))             (length ?M                 (MeasureFn ?N1 ?U)))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?MC))             (length ?M                 (MeasureFn ?N2 ?U))))     (greaterThan ?N2 ?N1))	Mid-level-ontology.kif 11886-11901	例 Process and MuscleRelaxing 患者 Process and Entity 例 Entity and Muscle 持有期間 不久的過去 何時 Process and length Entity and 測量 RealNumber and entity 持有期間 眼前的未來 何時 Process and length Entity and 測量 RealNumber and entity 比較多 RealNumber and RealNumber
(=>     (and         (instance ?MC MuscularContraction)         (patient ?MC ?M)         (instance ?M Muscle)         (holdsDuring             (ImmediatePastFn                 (WhenFn ?MC))             (length ?M                 (MeasureFn ?N1 ?U)))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?MC))             (length ?M                 (MeasureFn ?N2 ?U))))     (greaterThan ?N1 ?N2))	Mid-level-ontology.kif 11864-11879	例 Process and MuscularContraction 患者 Process and Entity 例 Entity and Muscle 持有期間 不久的過去 何時 Process and length Entity and 測量 RealNumber and entity 持有期間 眼前的未來 何時 Process and length Entity and 測量 RealNumber and entity 比較多 RealNumber and RealNumber
(=>     (and         (instance ?MUSIC MakingVocalMusic)         (agent ?MUSIC ?GROUP)         (instance ?GROUP Choir)         (holdsDuring ?MUSIC             (member ?MEM ?GROUP)))     (exists (?SING)         (and             (instance ?SING Singing)             (subProcess ?SING ?MUSIC)             (agent ?SING ?MEM))))	Media.kif 1809-1819	例 Process and 聲樂 agent Process and AutonomousAgent 例 AutonomousAgent and Choir 持有期間 Process and 會員 AutonomousAgent and AutonomousAgent Process 例 Process and 唱歌 子過程 Process and Process agent Process and AutonomousAgent
(=>     (and         (instance ?O Oxidation)         (patient ?O ?S)         (holdsDuring             (BeginFn                 (WhenFn ?O))             (electronNumber ?S ?G)))     (exists (?L)         (and             (lessThan ?L ?G)             (holdsDuring                 (EndFn                     (WhenFn ?O))                 (electronNumber ?S ?L)))))	Mid-level-ontology.kif 21154-21166	例 Process and 氧化 患者 Process and Entity 持有期間 開始 何時 Process and RealNumber 是 Entity 的 electron 號碼 RealNumber 少於 RealNumber and RealNumber 持有期間 結束 何時 Process and RealNumber 是 Entity 的 electron 號碼
(=>     (and         (instance ?ORG Human)         (holdsDuring ?TIME             (attribute ?ORG FullyFormed)))     (holdsDuring ?TIME         (instance ?ORG HumanAdult)))	Mid-level-ontology.kif 226-232	例 Entity and Human 持有期間 TimePosition and attribute Entity and 完全成型 持有期間 TimePosition and 例 Entity and 人類成人
(=>     (and         (instance ?ORG MilitaryOrganization)         (holdsDuring ?T1             (member ?X ?ORG))         (instance ?X Human))     (holdsDuring ?T1         (attribute ?X MilitaryPerson)))	Mid-level-ontology.kif 24111-24116	例 Entity and 軍事組織 持有期間 TimePosition and 會員 Entity and Entity 例 Entity and Human 持有期間 TimePosition and attribute Entity and 軍人
(=>     (and         (instance ?ORG OrganicObject)         (instance ?ATTR DevelopmentalAttribute)         (holdsDuring ?TIME             (property ?ORG ?ATTR)))     (holdsDuring ?TIME         (developmentalForm ?ORG ?ATTR)))	Mid-level-ontology.kif 234-239	例 Entity and OrganicObject 例 Entity and DevelopmentalAttribute 持有期間 TimePosition and 屬性 Entity and Entity 持有期間 TimePosition and 發展形式 Entity and Entity
(=>     (and         (instance ?P ParkingBrake)         (instance ?V Vehicle)         (holdsDuring ?T1             (attribute ?P DeviceOn))         (part ?P ?V))     (hasPurpose ?P         (holdsDuring ?T1             (not                 (exists (?T)                     (and                         (instance ?T Translocation)                         (patient ?T ?V)))))))	Cars.kif 567-580	例 Object and ParkingBrake 例 Object and 車輛 持有期間 TimePosition and attribute Object and 設備上 部分 Object and Object 有目的 Object and 持有期間 TimePosition and entity 例 entity and 易位 患者 entity and Object
(=>     (and         (instance ?P Pulling)         (origin ?P ?O)         (agent ?P ?A)         (holdsDuring             (BeginFn ?P)             (located ?A ?ALOC))         (destination ?P ?D))     (holdsDuring         (ImmediateFutureFn             (BeginFn ?P))         (exists (?LARGER ?U ?SMALLER)             (and                 (distance ?ALOC ?D                     (MeasureFn ?SMALLER ?U))                 (distance ?ALOC ?O                     (MeasureFn ?LARGER ?U))                 (greaterThan ?LARGER ?SMALLER)))))	Mid-level-ontology.kif 19189-19207	例 TimeInterval and 拉 起源 TimeInterval and Object agent TimeInterval and AutonomousAgent 持有期間 開始 TimeInterval and 位於 AutonomousAgent and AutonomousAgentLOC 目的地 TimeInterval and Entity 持有期間 眼前的未來 開始 TimeInterval and entity entity and entity 距離 AutonomousAgentLOC, Entity and 測量 entity and entity 距離 AutonomousAgentLOC, Object and 測量 entity and entity 比較多 entity and entity
(=>     (and         (instance ?P Pushing)         (origin ?P ?O)         (agent ?P ?A)         (holdsDuring             (BeginFn ?P)             (located ?A ?ALOC))         (destination ?P ?D))     (holdsDuring         (ImmediateFutureFn             (BeginFn ?P))         (exists (?LARGER ?U ?SMALLER)             (and                 (distance ?ALOC ?D                     (MeasureFn ?SMALLER ?U))                 (distance ?ALOC ?O                     (MeasureFn ?LARGER ?U))                 (greaterThan ?LARGER ?SMALLER)))))	Mid-level-ontology.kif 19167-19185	例 TimeInterval and Pushing 起源 TimeInterval and Object agent TimeInterval and AutonomousAgent 持有期間 開始 TimeInterval and 位於 AutonomousAgent and AutonomousAgentLOC 目的地 TimeInterval and Entity 持有期間 眼前的未來 開始 TimeInterval and entity entity and entity 距離 AutonomousAgentLOC, Entity and 測量 entity and entity 距離 AutonomousAgentLOC, Object and 測量 entity and entity 比較多 entity and entity
(=>     (and         (instance ?R ChemicalReduction)         (patient ?R ?S)         (holdsDuring             (BeginFn                 (WhenFn ?R))             (electronNumber ?S ?L)))     (exists (?G)         (and             (greaterThan ?G ?L)             (holdsDuring                 (EndFn                     (WhenFn ?R))                 (electronNumber ?S ?G)))))	Mid-level-ontology.kif 21136-21148	例 Process and 化學還原 患者 Process and Entity 持有期間 開始 何時 Process and RealNumber 是 Entity 的 electron 號碼 RealNumber 比較多 RealNumber and RealNumber 持有期間 結束 何時 Process and RealNumber 是 Entity 的 electron 號碼
(=>     (and         (instance ?R Railhead)         (instance ?V RailVehicle)         (holdsDuring ?T             (located ?V ?R)))     (exists (?M)         (and             (patient ?M ?V)             (or                 (and                     (instance ?M Leaving)                     (origin ?M ?R)                     (during                         (WhenFn ?M) ?T))                 (and                     (instance ?M Arriving)                     (destination ?M ?R)                     (during                         (WhenFn ?M) ?T))))))	Transportation.kif 2241-2258	例 Object and Railhead 例 Entity and 鐵路車輛 持有期間 TimeInterval and 位於 Entity and Object Process 患者 Process and Entity 例 Process and 離開 起源 Process and Object 期間 何時 Process and TimeInterval 例 Process and 到達 目的地 Process and Object 期間 何時 Process and TimeInterval
(=>     (and         (instance ?REM OrganismRemains)         (holdsDuring             (WhenFn ?REM)             (part ?OBJ ?REM)))     (exists (?ORG)         (and             (instance ?ORG Organism)             (earlier                 (WhenFn ?ORG)                 (WhenFn ?REM))             (finishes                 (WhenFn ?REM)                 (WhenFn ?ORG))             (holdsDuring                 (WhenFn ?ORG)                 (part ?OBJ ?ORG)))))	Mid-level-ontology.kif 45-56	例 Physical and OrganismRemains 持有期間 何時 Physical and 部分 entity and Physical Physical 例 Physical and Organism 早期 何時 Physical and 何時 Physical 飾面 何時 Physical and 何時 Physical 持有期間 何時 Physical and 部分 entity and Physical
(=>     (and         (instance ?REVERSE Reversing)         (patient ?REVERSE ?OBJ)         (holdsDuring             (BeginFn                 (WhenFn ?REVERSE))             (and                 (top ?TOP ?OBJ)                 (bottom ?BOTTOM ?OBJ))))     (holdsDuring         (EndFn             (WhenFn ?REVERSE))         (and             (top ?BOTTOM ?OBJ)             (bottom ?TOP ?OBJ))))	Mid-level-ontology.kif 19068-19073	例 Process and 逆 患者 Process and Entity 持有期間 開始 何時 Process and 上 entity and Entity 底部 entity and Entity 持有期間 結束 何時 Process and 上 entity and Entity 底部 entity and Entity
(=>     (and         (instance ?S Squall)         (eventLocated ?S ?R)         (instance ?R GeographicArea)         (holdsDuring             (WhenFn ?S)             (surfaceWindSpeed ?R                 (MeasureFn ?TOP MilesPerHour)))         (earlier ?T             (WhenFn ?S))         (holdsDuring ?T             (surfaceWindSpeed ?R                 (MeasureFn ?BASE MilesPerHour)))         (equal ?DIFF             (SubtractionFn ?TOP ?BASE)))     (and         (greaterThanOrEqualTo ?TOP 25)         (greaterThanOrEqualTo ?DIFF 18)))	Weather.kif 1791-1808	例 Process and 颮 Process 是 located 在 Object 例 Object and GeographicArea 持有期間 何時 Process and 測量 RealNumber and MilesPerHour 是 Object 的 surface 風速 早期 TimeInterval and 何時 Process 持有期間 TimeInterval and 測量 RealNumber and MilesPerHour 是 Object 的 surface 風速 equal RealNumber and 減法 RealNumber and RealNumber 大於或等於 RealNumber and 25 大於或等於 RealNumber and 18
(=>     (and         (instance ?SCO SelfConnectedObject)         (instance ?C Compressing)         (patient ?C ?SCO)         (holdsDuring             (ImmediatePastFn                 (WhenFn ?C))             (measure ?SCO                 (MeasureFn ?N1 ?V)))         (instance ?V UnitOfVolume)         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?C))             (measure ?SCO                 (MeasureFn ?N2 ?V))))     (greaterThan ?N1 ?N2))	Cars.kif 1971-1983	例 Entity and SelfConnectedObject 例 Process and Compressing 患者 Process and Entity 持有期間 不久的過去 何時 Process and 測量 Entity and 測量 RealNumber and Entity 例 Entity and UnitOfVolume 持有期間 眼前的未來 何時 Process and 測量 Entity and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
(=>     (and         (instance ?SEEING Seeing)         (patient ?SEEING ?OBJ)         (agent ?SEEING ?AGENT)         (instance ?OBJ Object)         (time ?SEEING ?TIME)         (holdsDuring ?TIME             (located ?OBJ ?PLACE)))     (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE))	Justice.kif 61-69	例 Process and Seeing 患者 Process and Object agent Process and AutonomousAgent 例 Object and Object 時間 Process and TimePosition 持有期間 TimePosition and 位於 Object and Object Object 是在此刻 observed 對於 TimePosition 和 Object 在地方 AutonomousAgent
(=>     (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 2098-2117	例 Entity and 軸 例 Entity and 軸 equal Entity and Entity 例 EngineeringComponent and 旋轉 患者 EngineeringComponent and Entity 例 EngineeringComponent and 旋轉 患者 EngineeringComponent and Entity 原因 EngineeringComponent and EngineeringComponent 例 EngineeringComponent and CVJoint 連接的工程組件 EngineeringComponent and EngineeringComponent 連接的工程組件 EngineeringComponent and EngineeringComponent 持有期間 何時 EngineeringComponent and equal Entity and RotationFn entity and entity 持有期間 何時 EngineeringComponent and equal Entity and RotationFn entity and entity
(=>     (and         (instance ?SUBLIMATION Sublimation)         (patient ?SUBLIMATION ?OBJ)         (holdsDuring             (ImmediatePastFn                 (WhenFn ?SUBLIMATION))             (measure ?OBJ                 (MeasureFn ?X Joule)))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?SUBLIMATION))             (measure ?OBJ                 (MeasureFn ?Y Joule))))     (greaterThan ?Y ?X))	Geography.kif 7372-7386	例 Process and Sublimation 患者 Process and Entity 持有期間 不久的過去 何時 Process and 測量 Entity and 測量 RealNumber and 焦耳 持有期間 眼前的未來 何時 Process and 測量 Entity and 測量 RealNumber and 焦耳 比較多 RealNumber and RealNumber
(=>     (and         (instance ?SUBSTANCE ?TYPE)         (boilingPoint ?TYPE             (MeasureFn ?TEMP1 ?MEASURE))         (meltingPoint ?TYPE             (MeasureFn ?TEMP2 ?MEASURE))         (instance ?MEASURE UnitOfTemperature)         (holdsDuring ?TIME             (measure ?SUBSTANCE                 (MeasureFn ?TEMP3 ?MEASURE)))         (greaterThan ?TEMP3 ?TEMP2)         (lessThan ?TEMP3 ?TEMP1))     (or         (holdsDuring ?TIME             (attribute ?SUBSTANCE Liquid))         (exists (?MELT)             (and                 (overlapsTemporally                     (WhenFn ?MELT) ?TIME)                 (instance ?MELT Melting)                 (patient ?MELT ?SUBSTANCE)))))	Merge.kif 14016-14031	例 Entity and PureSubstance 測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點 測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 melting 點 例 UnitOfMeasure and UnitOfTemperature 持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber 少於 RealNumber and RealNumber 持有期間 TimeInterval and attribute Entity and 液體 Process 暫時重疊 何時 Process and TimeInterval 例 Process and Melting 患者 Process and Entity
(=>     (and         (instance ?SUBSTANCE ?TYPE)         (meltingPoint ?TYPE             (MeasureFn ?TEMP1 ?MEASURE))         (holdsDuring ?TIME             (measure ?SUBSTANCE                 (MeasureFn ?TEMP2 ?MEASURE)))         (instance ?MEASURE UnitOfTemperature)         (lessThan ?TEMP2 ?TEMP1))     (or         (holdsDuring ?TIME             (attribute ?SUBSTANCE Solid))         (exists (?FREEZE)             (and                 (overlapsTemporally                     (WhenFn ?FREEZE) ?TIME)                 (instance ?FREEZE Freezing)                 (patient ?FREEZE ?SUBSTANCE)))))	Merge.kif 14033-14046	例 Entity and PureSubstance 測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 melting 點 持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 少於 RealNumber and RealNumber 持有期間 TimeInterval and attribute Entity and 固體 Process 暫時重疊 何時 Process and TimeInterval 例 Process and Freezing 患者 Process and Entity
(=>     (and         (instance ?SUIT ClothingSuit)         (member ?ITEM1 ?SUIT)         (holdsDuring ?TIME             (wears ?PERSON ?ITEM1)))     (forall (?ITEM2)         (=>             (member ?ITEM2 ?SUIT)             (holdsDuring ?TIME                 (wears ?PERSON ?ITEM2)))))	Mid-level-ontology.kif 6243-6251	例 Collection and 服裝套裝 會員 Physical and Collection 持有期間 TimePosition and 穿 entity and Physical Physical 會員 Physical and Collection 持有期間 TimePosition and 穿 entity and Physical
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