(=>     (and         (instance ?DRILL Drilling)         (patient ?DRILL ?OBJ))     (exists (?HOLE)         (and             (holdsDuring                 (BeginFn                     (WhenFn ?DRILL))                 (not                     (hole ?HOLE ?OBJ)))             (holdsDuring                 (EndFn                     (WhenFn ?DRILL))                 (hole ?HOLE ?OBJ)))))	Mid-level-ontology.kif 18098-18105	例 Process and 鑽孔 患者 Process and Entity entity 持有期間 開始 何時 Process and hole entity and Entity 持有期間 結束 何時 Process and hole entity and Entity
(=>     (and         (instance ?DRY Drying)         (patient ?DRY ?OBJ))     (holdsDuring         (EndFn             (WhenFn ?DRY))         (attribute ?OBJ Dry)))	Merge.kif 12799-12804	例 Process and Drying 患者 Process and Entity 持有期間 結束 何時 Process and attribute Entity and 乾
(=>     (and         (instance ?DSAVE DataSaving)         (resource ?DSAVE ?RES)         (instance ?RES ElectronicDataStorageDevice))     (exists (?DEV)         (and             (instance ?DEV ElectricDevice)             (instrument ?DSAVE ?DEV)             (holdsDuring                 (WhenFn ?DSAVE)                 (connected ?RES ?DEV)))))	Media.kif 690-700	例 Process and 數據保存 資源 Process and Object 例 Object and ElectronicDataStorageDevice Object 例 Object and 電器 儀器 Process and Object 持有期間 何時 Process and 連接的 Object and Object
(=>     (and         (instance ?DUST DustStorm)         (instance ?PLACE GeographicArea)         (eventLocated ?DUST ?PLACE))     (holdsDuring         (WhenFn ?DUST)         (modalAttribute             (attribute ?PLACE BadAirQuality) Likely)))	Weather.kif 2596-2604	例 Process and 塵暴 例 Object and GeographicArea Process 是 located 在 Object 持有期間 何時 Process and 模態屬性 attribute Object and BadAirQuality and 容易
(=>     (and         (instance ?Downtick Downtick)         (patient ?Downtick ?Stock)         (equal             (WhenFn ?Downtick) ?Time1)         (instance ?U UnitOfCurrency)         (price ?Stock             (MeasureFn ?Price1 ?U) ?Time1))     (exists (?Transaction ?Time2 ?Price2)         (and             (instance ?Transaction StockMarketTransaction)             (patient ?Transaction ?Stock)             (equal                 (WhenFn ?Transaction) ?Time2)             (meetsTemporally ?Time2 ?Time1)             (price ?Stock                 (MeasureFn ?Price2 ?U) ?Time2)             (greaterThan ?Price2 ?Price1))))	FinancialOntology.kif 3234-3250	例 Process and 打勾 患者 Process and Physical 等於 何時 Process and AutonomousAgent 例 UnitOfMeasure and UnitOfCurrency Physical 是 對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure Process AutonomousAgent and RealNumber 例 Process and 股市交易 患者 Process and Physical 等於 何時 Process and AutonomousAgent 短暫相遇 AutonomousAgent and AutonomousAgent Physical 是 對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
(=>     (and         (instance ?E Matriculation)         (agent ?E ?C)         (patient ?E ?P)         (instance ?C College))     (exists (?G ?S)         (and             (instance ?G Graduation)             (agent ?G ?S)             (patient ?G ?P)             (instance ?S SecondarySchool)             (earlier                 (WhenFn ?G)                 (WhenFn ?E)))))	Mid-level-ontology.kif 16689-16701	例 Process and Matriculation agent Process and AutonomousAgent 患者 Process and Entity 例 AutonomousAgent and 學院 Process AutonomousAgent 例 Process and Graduation agent Process and AutonomousAgent 患者 Process and Entity 例 AutonomousAgent and 中學 早期 何時 Process and 何時 Process
(=>     (and         (instance ?EC EngineCycle)         (instance ?E InternalCombustionEngine)         (instance ?CC CombustionChamber)         (part ?CC ?E)         (eventLocated ?EC ?E)         (instance ?U UnitOfVolume)         (holdsDuring             (WhenFn ?EC)             (maxCylinderVolume ?E                 (MeasureFn ?V1 ?U))))     (not         (exists (?V2 ?T)             (and                 (during ?T                     (WhenFn ?EC))                 (holdsDuring ?T                     (measure ?CC                         (MeasureFn ?V2 ?U)))                 (greaterThan ?V2 ?V1)))))	Cars.kif 1904-1923	例 Process and EngineCycle 例 Object and 內燃機 例 Object and CombustionChamber 部分 Object and Object Process 是 located 在 Object 例 Entity and UnitOfVolume 持有期間 何時 Process and maxCylinderVolume Object and 測量 RealNumber and Entity RealNumber TimeInterval 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 測量 Object and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
(=>     (and         (instance ?EC EngineCycle)         (instance ?E InternalCombustionEngine)         (instance ?CC CombustionChamber)         (part ?CC ?E)         (eventLocated ?EC ?E)         (instance ?U UnitOfVolume)         (holdsDuring             (WhenFn ?EC)             (minCylinderVolume ?E                 (MeasureFn ?V1 ?U))))     (not         (exists (?V2 ?T)             (and                 (during ?T                     (WhenFn ?EC))                 (holdsDuring ?T                     (measure ?CC                         (MeasureFn ?V2 ?U)))                 (greaterThan ?V1 ?V2)))))	Cars.kif 1874-1893	例 Process and EngineCycle 例 Object and 內燃機 例 Object and CombustionChamber 部分 Object and Object Process 是 located 在 Object 例 Entity and UnitOfVolume 持有期間 何時 Process and minCylinderVolume Object and 測量 RealNumber and Entity RealNumber TimeInterval 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 測量 Object and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
(=>     (and         (instance ?EC EngineCycle)         (instance ?E InternalCombustionEngine)         (instance ?P Piston)         (instance ?U UnitOfLength)         (part ?P ?E)         (patient ?EC ?P)         (eventLocated ?EC ?E)         (pistonStroke ?E             (MeasureFn ?LM ?U)))     (not         (exists (?T1 ?T2 ?L1 ?L2 ?D)             (and                 (during ?T1                     (WhenFn ?EC))                 (during ?T2                     (WhenFn ?EC))                 (holdsDuring ?T1                     (located ?P ?L1))                 (holdsDuring ?T2                     (located ?P ?L2))                 (distance ?L1 ?L2                     (MeasureFn ?D ?U))                 (greaterThan ?D ?LM)))))	Cars.kif 1949-1971	例 Process and EngineCycle 例 發動機 and 內燃機 例 Object and Piston 例 UnitOfMeasure and UnitOfLength 部分 Object and 發動機 患者 Process and Object Process 是 located 在 發動機 pistonStroke 發動機 and 測量 RealNumber and UnitOfMeasure TimeInterval TimeInterval, Physical, Physical and RealNumber 期間 TimeInterval and 何時 Process 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 位於 Object and Physical 持有期間 TimeInterval and 位於 Object and Physical 距離 Physical, Physical and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
(=>     (and         (instance ?EG EngineGovernor)         (instance ?E Engine)         (connectedEngineeringComponents ?EG ?E)         (governorSpeed ?E             (MeasureFn ?S MilesPerHour)))     (hasPurpose ?EG         (not             (exists (?R ?P ?M)                 (and                     (instance ?P Device)                     (part ?P ?E)                     (instance ?R Rotating)                     (holdsDuring                         (WhenFn ?R)                         (and                             (measure ?P                                 (MeasureFn ?M MilesPerHour))                             (greaterThan ?M ?S))))))))	Cars.kif 2936-2954	例 EngineeringComponent and EngineGovernor 例 EngineeringComponent and 發動機 連接的工程組件 EngineeringComponent and EngineeringComponent governorSpeed EngineeringComponent and 測量 RealNumber and MilesPerHour 有目的 EngineeringComponent and entity entity and entity 例 entity and Device 部分 entity and EngineeringComponent 例 entity and 旋轉 持有期間 何時 entity and 測量 entity and 測量 entity and MilesPerHour 比較多 entity and RealNumber
(=>     (and         (instance ?EG EngineGovernor)         (instance ?V Vehicle)         (connectedEngineeringComponents ?EG ?V)         (governorSpeed ?E             (MeasureFn ?S MilesPerHour)))     (hasPurpose ?EG         (not             (exists (?T ?M)                 (and                     (instance ?T Translocation)                     (holdsDuring                         (WhenFn ?T)                         (and                             (measure ?V                                 (MeasureFn ?M MilesPerHour))                             (greaterThan ?M ?S))))))))	Cars.kif 2963-2979	例 EngineeringComponent and EngineGovernor 例 EngineeringComponent and 車輛 連接的工程組件 EngineeringComponent and EngineeringComponent governorSpeed SpeedGovernor and 測量 RealNumber and MilesPerHour 有目的 EngineeringComponent and entity entity 例 entity and 易位 持有期間 何時 entity and 測量 EngineeringComponent and 測量 entity and MilesPerHour 比較多 entity and RealNumber
(=>     (and         (instance ?ELT ExperiencingDiscomfortInTheStomach)         (experiencer ?ELT ?A))     (exists (?P ?PAIN ?T)         (and             (instance ?P Perception)             (during                 (WhenFn ?P)                 (WhenFn ?PAIN))             (instance ?PAIN Pain)             (experiencer ?PAIN ?A)             (subProcess ?P ?ELT)             (agent ?P ?A)             (patient ?P ?T)             (instance ?T Stomach)             (part ?T ?A))))	emotion.kif 1583-1597	例 Process and ExperiencingDiscomfortInTheStomach 體驗者 Process and AutonomousAgent Process ProcessAIN and Object 例 Process and Perception 期間 何時 Process and 何時 ProcessAIN 例 ProcessAIN and 痛 體驗者 ProcessAIN and AutonomousAgent 子過程 Process and Process agent Process and AutonomousAgent 患者 Process and Object 例 Object and 胃 部分 Object and AutonomousAgent
(=>     (and         (instance ?ENTER Matriculation)         (agent ?ENTER ?COLLEGE)         (patient ?ENTER ?STUDENT)         (instance ?COLLEGE College))     (exists (?GRAD ?SCHOOL)         (and             (instance ?GRAD Graduation)             (agent ?GRAD ?SCHOOL)             (patient ?GRAD ?STUDENT)             (instance ?SCHOOL HighSchool)             (earlier                 (WhenFn ?GRAD)                 (WhenFn ?ENTER)))))	Mid-level-ontology.kif 16670-16682	例 Process and Matriculation agent Process and AutonomousAgent 患者 Process and Entity 例 AutonomousAgent and 學院 Process AutonomousAgent 例 Process and Graduation agent Process and AutonomousAgent 患者 Process and Entity 例 AutonomousAgent and 中學 早期 何時 Process and 何時 Process
(=>     (and         (instance ?ESCAPE Escaping)         (agent ?ESCAPE ?AGENT))     (exists (?CONFINE)         (and             (instance ?CONFINE Confining)             (patient ?CONFINE ?AGENT)             (meetsTemporally                 (WhenFn ?CONFINE)                 (WhenFn ?ESCAPE)))))	Mid-level-ontology.kif 17280-17288	例 Process and 逃逸 agent Process and AutonomousAgent Process 例 Process and Confining 患者 Process and AutonomousAgent 短暫相遇 何時 Process and 何時 Process
(=>     (and         (instance ?EV Evacuation)         (agent ?EV ?MIL)         (instance ?MIL MilitaryOrganization)         (experiencer ?EV ?P))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?EV))         (attribute ?P Evacuee)))	MilitaryPersons.kif 133-140	例 Process and 疏散 agent Process and AutonomousAgent 例 AutonomousAgent and 軍事組織 體驗者 Process and AutonomousAgent 持有期間 眼前的未來 何時 Process and attribute AutonomousAgent and 撤離者
(=>     (and         (instance ?EV Evacuation)         (origin ?EV ?OR)         (agent ?EV ?A))     (exists (?P)         (and             (instance ?P Process)             (geographicSubregion ?OR                 (WhereFn ?P                     (BeginFn                         (WhenFn ?EV))))             (causes ?P ?EV)             (believes ?A                 (attribute ?P Dangerous)))))	MilitaryProcesses.kif 2516-2530	例 Process and 疏散 起源 Process and GeographicArea agent Process and CognitiveAgent Process 例 Process and Process GeographicArea 是 哪裡 Process and 開始 何時 Process 的 geographic 次要地區 原因 Process and Process 相信 CognitiveAgent and attribute Process and 危險
(=>     (and         (instance ?EVAP Evaporating)         (boilingPoint ?CLASS             (MeasureFn ?BOILVAL ?MEAS))         (instance ?OBJ ?CLASS)         (measure ?OBJ             (MeasureFn ?VAL ?MEAS))         (instance ?MEAS UnitOfTemperature)         (patient ?EVAP ?OBJ))     (exists (?PART)         (and             (part ?PART ?OBJ)             (greaterThan ?BOILVAL ?VAL)             (holdsDuring                 (BeginFn                     (WhenFn ?EVAP))                 (attribute ?PART Liquid))             (holdsDuring                 (EndFn                     (WhenFn ?EVAP))                 (attribute ?PART Gas)))))	Merge.kif 13975-13988	例 Process and 蒸發 測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點 例 Object and PureSubstance 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 患者 Process and Object Object 部分 Object and Object 比較多 RealNumber and RealNumber 持有期間 開始 何時 Process and attribute Object and 液體 持有期間 結束 何時 Process and attribute Object and 加油站
(=>     (and         (instance ?EXPERIMENT Experimenting)         (instance ?INTERVAL TimeInterval))     (equal         (DivisionFn             (CardinalityFn                 (KappaFn ?PURCHASE                     (and                         (instance ?PURCHASE Buying)                         (member ?PURCHASE                             (QualifyingPurchasesFn ?EXPERIMENT))                         (during                             (WhenFn ?PURCHASE) ?INTERVAL))))             (CardinalityFn                 (KappaFn ?USER                     (and                         (member ?USER                             (TreatedUsersFn ?EXPERIMENT))                         (instance ?ACCESSING AccessingWebPage)                         (during                             (WhenFn ?ACCESSING) ?INTERVAL)                         (agent ?ACCESSING ?USER)))))         (PPIFn ?EXPERIMENT ?INTERVAL)))	UXExperimentalTerms.kif 3095-3114	例 試驗 and 試驗 例 TimeInterval and TimeInterval 等於 部 基數 卡帕 SymbolicString and 例 SymbolicString and Buying 會員 SymbolicString and purchases 在 試驗 期間 何時 SymbolicString and TimeInterval and 基數 卡帕 SymbolicString and 會員 SymbolicString and treated users 在 試驗 例 entity and AccessingWebPage 期間 何時 entity and TimeInterval agent entity and SymbolicString and purchases per user 在 試驗 期間 TimeInterval
(=>     (and         (instance ?EXPORT Exporting)         (patient ?EXPORT ?ITEM)         (instance ?AREA GeopoliticalArea)         (destination ?EXPORT ?AREA))     (holdsDuring         (EndFn             (WhenFn ?EXPORT))         (located ?ITEM ?AREA)))	Economy.kif 2447-2454	例 Process and 出口 患者 Process and Entity 例 Entity and GeopoliticalArea 目的地 Process and Entity 持有期間 結束 何時 Process and 位於 Entity and Entity
(=>     (and         (instance ?EXPORT Exporting)         (patient ?EXPORT ?ITEM)         (instance ?AREA GeopoliticalArea)         (holdsDuring             (BeginFn                 (WhenFn ?EXPORT))             (located ?ITEM ?AREA)))     (holdsDuring         (EndFn             (WhenFn ?EXPORT))         (not             (located ?ITEM ?AREA))))	Economy.kif 2421-2430	例 Process and 出口 患者 Process and Entity 例 Entity and GeopoliticalArea 持有期間 開始 何時 Process and 位於 Entity and Entity 持有期間 結束 何時 Process and 位於 Entity and Entity
(=>     (and         (instance ?EXPORT Exporting)         (patient ?EXPORT ?ITEM)         (instance ?AREA GeopoliticalArea)         (origin ?EXPORT ?AREA))     (holdsDuring         (BeginFn             (WhenFn ?EXPORT))         (located ?ITEM ?AREA)))	Economy.kif 2412-2419	例 Process and 出口 患者 Process and Entity 例 Object and GeopoliticalArea 起源 Process and Object 持有期間 開始 何時 Process and 位於 Entity and Object
(=>     (and         (instance ?EXPORT Exporting)         (patient ?EXPORT ?ITEM)         (instance ?AREA1 GeopoliticalArea)         (holdsDuring             (BeginFn                 (WhenFn ?EXPORT))             (located ?ITEM ?AREA1)))     (exists (?AREA2)         (and             (instance ?AREA2 GeopoliticalArea)             (not                 (geopoliticalSubdivision ?AREA1 ?AREA2))             (not                 (geopoliticalSubdivision ?AREA2 ?AREA1))             (holdsDuring                 (EndFn                     (WhenFn ?EXPORT))                 (located ?ITEM ?AREA2)))))	Economy.kif 2432-2445	例 Process and 出口 患者 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 ?F             (FailureFn ?C))         (agent ?F ?A))     (and         (desires ?A             (exists (?I)                 (and                     (instance ?I ?C)                     (agent ?I ?A))))         (not             (exists (?I)                 (and                     (instance ?I ?C)                     (during                         (WhenFn ?I)                         (WhenFn ?F))                     (agent ?I ?A))))))	ComputingBrands.kif 4517-4532	例 Process and FailureFn IntentionalProcess agent Process and CognitiveAgent 慾望 CognitiveAgent and Process 例 Process and IntentionalProcess agent Process and CognitiveAgent Process 例 Process and IntentionalProcess 期間 何時 Process and 何時 Process agent Process and CognitiveAgent
(=>     (and         (instance ?F Faucet)         (instance ?LM LiquidMotion)         (patient ?LM ?L)         (located ?LM ?F))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?LM))         (not             (exists (?T)                 (and                     (instance ?T Tube)                     (contains ?T ?L))))))	engineering.kif 939-952	例 Object and Faucet 例 Process and 液體運動 患者 Process and Entity 位於 Process and Object 持有期間 眼前的未來 何時 Process and entity 例 entity and 管 包含 entity and Entity
(=>     (and         (instance ?F Flexion)         (agent ?F ?A)         (moves ?F ?BP))     (not         (exists (?E)             (and                 (instance ?E Extension)                 (equal                     (WhenFn ?E)                     (WhenFn ?F))                 (agent ?E ?A)                 (moves ?E ?BP)))))	Mid-level-ontology.kif 10633-10644	例 Motion and Flexion agent Motion and AutonomousAgent 移動 Motion and Object Motion 例 Motion and Extension 等於 何時 Motion and 何時 Motion agent Motion and AutonomousAgent 移動 Motion and Object
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