(=>     (and         (instance ?ORG OrganicObject)         (instance ?ATTR DevelopmentalAttribute)         (holdsDuring ?TIME             (property ?ORG ?ATTR)))     (holdsDuring ?TIME         (developmentalForm ?ORG ?ATTR)))	Mid-level-ontology.kif 241-246	例 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 17637-17655	例 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 17615-17633	例 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 19564-19576	例 Process and 化學還原 患者 Process and Entity 持有期間 開始 何時 Process and RealNumber 是 Entity 的 electron 號碼 RealNumber 比較多 RealNumber and RealNumber 持有期間 結束 何時 Process and RealNumber 是 Entity 的 electron 號碼
(=>     (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 17516-17521	例 Process and 逆 患者 Process and Entity 持有期間 開始 何時 Process and 上 entity and Entity 底部 entity and Entity 持有期間 結束 何時 Process and 上 entity and Entity 底部 entity and Entity
(=>     (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 1993-2005	例 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 2120-2139	例 Entity and 軸 例 Entity and 軸 等於 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 等於 Entity and RotationFn entity and entity 持有期間 何時 EngineeringComponent and 等於 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 7068-7082	例 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 13885-13900	例 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 13902-13915	例 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 5305-5313	例 Collection and 服裝套裝 會員 Physical and Collection 持有期間 TimePosition and 穿 entity and Physical Physical 會員 Physical and Collection 持有期間 TimePosition and 穿 entity and Physical
(=>     (and         (instance ?T ElectricalTransformer)         (instance ?WC1 WireCoil)         (instance ?WC2 WireCoil)         (coilCount ?WC1 ?N1)         (coilCount ?WC2 ?N2)         (holdsDuring ?T             (measure ?WC1                 (MeasureFn Volt ?V1))))     (and         (holdsDuring ?T             (measure ?WC2                 (MeasureFn Volt ?V2)))         (equal ?V2             (MultiplicationFn ?V1                 (DivisionFn ?N2 ?N1)))))	Cars.kif 3102-3116	例 TimePosition and 變壓器 例 WireCoil and WireCoil 例 WireCoil and WireCoil coilCount WireCoil and Integer coilCount WireCoil and Integer 持有期間 TimePosition and 測量 WireCoil and 測量 伏特 and RealNumber 持有期間 TimePosition and 測量 WireCoil and 測量 伏特 and RealNumber 等於 RealNumber and 乘法 RealNumber and 部 Integer and Integer
(=>     (and         (instance ?T1 ChristianHoliday)         (holdsDuring ?T1             (attribute ?A Christian)))     (observesHoliday ?A ?T1))	Media.kif 269-274	例 假日 and ChristianHoliday 持有期間 假日 and attribute CognitiveAgent and 基督教 CognitiveAgent observes 假日
(=>     (and         (instance ?TIME TimePoint)         (holdsDuring ?TIME             (age ?OBJ ?DURATION)))     (duration         (TimeIntervalFn             (BeginFn                 (WhenFn ?OBJ)) ?TIME) ?DURATION))	Merge.kif 7524-7528	例 TimePoint and TimePoint 持有期間 TimePoint and 年齡 Physical and TimeDuration 持續時間 時間間隔 開始 何時 Physical and TimePoint and TimeDuration
(=>     (and         (instance ?TIME TimePosition)         (holdsDuring ?TIME             (possesses ?AGENT1 ?OBJ))         (holdsDuring ?TIME             (possesses ?AGENT2 ?OBJ)))     (equal ?AGENT1 ?AGENT2))	Merge.kif 4265-4270	例 TimePosition and TimePosition 持有期間 TimePosition and 擁有 entity and entity 持有期間 TimePosition and 擁有 entity and entity 等於 entity and entity
(=>     (and         (instance ?UNIT SocialUnit)         (holdsDuring ?T1             (and                 (member ?UNIT ?H1)                 (member ?UNIT ?H2))))     (holdsDuring ?T1         (cohabitant ?H1 ?H2)))	Mid-level-ontology.kif 22997-23005	例 Entity and 社會單位 持有期間 TimePosition and 會員 Entity and entity 會員 Entity and entity 持有期間 TimePosition and entity 是 entity 的 cohabitant
(=>     (and         (instance ?W Wind)         (located ?W ?L)         (equal ?T             (WhenFn ?W))         (holdsDuring ?T             (surfaceWindSpeed ?L                 (MeasureFn ?N MilesPerHour))))     (greaterThan ?N 20.0))	Merge.kif 11286-11294	例 Physical and 風 位於 Physical and Object 等於 TimeInterval and 何時 Physical 持有期間 TimeInterval and 測量 RealNumber and MilesPerHour 是 Object 的 surface 風速 比較多 RealNumber and 20.0
(=>     (and         (instance ?WALK Walking)         (instance ?RUN Running)         (agent ?WALK ?AGENT)         (agent ?RUN ?AGENT)         (holdsDuring             (WhenFn ?WALK)             (measure ?AGENT                 (SpeedFn ?LENGTH1 ?TIME)))         (holdsDuring             (WhenFn ?RUN)             (measure ?AGENT                 (SpeedFn ?LENGTH2 ?TIME))))     (greaterThan ?LENGTH2 ?LENGTH1))	Merge.kif 11180-11188	例 Process and Walking 例 Process and 賽跑 agent Process and AutonomousAgent agent Process and AutonomousAgent 持有期間 何時 Process and 測量 AutonomousAgent and 速度 RealNumber and entity 持有期間 何時 Process and 測量 AutonomousAgent and 速度 RealNumber and entity 比較多 RealNumber and RealNumber
(=>     (and         (instance ?X Outfit)         (member ?ITEM1 ?X)         (holdsDuring ?TIME             (wears ?PERSON ?ITEM1)))     (forall (?ITEM2)         (=>             (member ?ITEM2 ?X)             (holdsDuring ?TIME                 (wears ?PERSON ?ITEM2)))))	Dining.kif 469-479	例 Collection and Outfit 會員 Physical and Collection 持有期間 TimePosition and 穿 entity and Physical Physical 會員 Physical and Collection 持有期間 TimePosition and 穿 entity and Physical
(=>     (and         (instance ?Y NitricOxide)         (holdsDuring ?T             (property ?Y StandardAmbientTemperaturePressure)))     (holdsDuring ?T         (attribute ?Y Gas)))	Geography.kif 7216-7222	例 Entity and NitricOxide 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and attribute Entity and 加油站
(=>     (and         (instance ?Y NitrogenDioxide)         (holdsDuring ?T             (property ?Y StandardAmbientTemperaturePressure)))     (holdsDuring ?T         (attribute ?Y Gas)))	Geography.kif 7241-7247	例 Entity and NitrogenDioxide 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and attribute Entity and 加油站
(=>     (and         (instance ?Y SulphurDioxide)         (holdsDuring ?T             (property ?Y StandardAmbientTemperaturePressure)))     (holdsDuring ?T         (attribute ?Y Gas)))	Geography.kif 7181-7187	例 Entity and SulphurDioxide 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and attribute Entity and 加油站
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