No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1635-1642	例 Object and Eardrum 部分 Object and AutonomousAgent 體驗者 AutonomousAgentEAR and AutonomousAgent attribute AutonomousAgent and Healthy 例 AutonomousAgentEAR and Hearing 儀器 AutonomousAgentEAR and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1724-1740	例 CorpuscularObject and Exhaust 材料 汽油 and CorpuscularObject 例 Transfer and Transfer 例 CorpuscularObjectNG and 發動機 起源 Transfer and CorpuscularObjectNG 例 Physical and CatalyticConverter 目的地 Transfer and Physical objectTransferred Transfer and CorpuscularObject 有目的 Physical and entity 例 entity and Combustion 儀器 entity and Physical 患者 entity and CorpuscularObject entity 是 located 在 Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11996-12006	例 Motion and Extension 移動 Motion and Object Object ObjectC 例 Object and Muscle 例 ObjectC and MuscularContraction 儀器 Motion and Object 連接的 Object and Object 子過程 ObjectC and Motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2126-2138	例 Object and EngineCoolingSystem 例 Object and 發動機 例 Object and 汽車 部分 Object and Object 部分 Object and Object 有目的 Object and entity 例 entity and Cooling 儀器 entity and Object 患者 entity and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3954-3964	例 Object and Electromagnet 例 Transfer and Transfer 例 Object and 電力 objectTransferred Transfer and Object 路徑 Transfer and Object Process 例 Process and 磁 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3966-3982	例 Entity and Electromagnet 持有期間 TimePosition and entity entity 例 entity and Transfer 例 entity and 電力 objectTransferred entity and entity 路徑 entity and Entity 持有期間 TimePosition and entity 例 entity and 磁 儀器 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14357-14365	例 Process and 表情 agent Process and AutonomousAgent Object 部分 Object and AutonomousAgent 例 Object and 面對 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11956-11966	例 Motion and Flexion 移動 Motion and Object Object ObjectC 例 Object and Muscle 例 ObjectC and MuscularContraction 儀器 Motion and Object 連接的 Object and Object 子過程 ObjectC and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3638-3649	例 Process and 摺頁 患者 Process and Object Process Object and Object 例 Process and Covering 子過程 Process and Process 部分 Object and Object 部分 Object and Object 儀器 Process and Object 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1844-1854	例 Object and 火砲槍 例 Object and 輪 部分 Object and Object 有目的 Object and entity 例 entity and 易位 objectTransferred entity and Object 儀器 entity and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1640-1659	例 Device and 槍 例 UnitOfMeasure and UnitOfLength 測量 RealNumber and UnitOfMeasure 是 Device 的 effective 範圍 距離 Device, Object and 測量 RealNumber and UnitOfMeasure 例 Object and Organism Object 之間 Object, Object and Device 小於或等於 RealNumber and RealNumber SymbolicString 能力 卡帕 SymbolicString and 例 SymbolicString and Killing 患者 SymbolicString and Object, 儀器 and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1618-1636	例 Device and 槍 例 UnitOfMeasure and UnitOfLength 測量 RealNumber and UnitOfMeasure 是 Device 的 effective 範圍 距離 Device, Object and 測量 RealNumber and UnitOfMeasure Object 之間 Object, Object and Device 小於或等於 RealNumber and RealNumber SymbolicString 能力 卡帕 SymbolicString and 例 SymbolicString and Damaging 患者 SymbolicString and Object, 儀器 and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26762-26783	例 TelecomNumber and Hotline TelecomNumber 是 AutonomousAgent 的 telephone number 例 AutonomousAgent and Organization 有目的 TelecomNumber and entity 例 entity and 致電 目的地 entity and AutonomousAgent 模態屬性 entity 例 entity and Communication 儀器 entity and TelecomNumber 等於 開始 何時 entity and 開始 眼前的未來 何時 entity and 容易
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3508-3537	例 可穿戴物品 and 聽力保護 例 Animal and Human 穿 Animal and 可穿戴物品 有目的 可穿戴物品 and entity entity and entity 例 entity and Process 子類 entity and 卡帕 entity and 例 entity and Injuring entity entity, entity and entity 例 entity and RadiatingSound 例 entity and Hearing 例 entity and Human 患者 entity and entity 體驗者 entity and entity 原因 entity and entity 體驗者 entity and entity 持有期間 entity and 體驗者 entity and Animal 持有期間 entity and 患者 entity and Animal 防止 entity and entity 儀器 entity and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4108-4118	例 Transfer and Intubation 例 Object and 管 objectTransferred Transfer and Object 體驗者 Transfer and AutonomousAgent 有目的 Transfer and entity 例 entity and Breathing 儀器 entity and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26933-26944	例 Process and Ironing 患者 Process and Object 部分 Object and Object 例 Object and Fabric ProcessRON Process 例 Process and Heating 患者 Process and ProcessRON 例 ProcessRON and FabricIron 儀器 Process and ProcessRON
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26921-26931	例 Process and Ironing 患者 Process and Object Process ProcessRON and Object 膚淺的部分 Object and Object 例 Process and Heating 患者 Process and ProcessRON 患者 Process and Object 儀器 Process and ProcessRON
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3376-3408	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection AutonomousAgent 會員 AutonomousAgent and Collection TimeInterval 例 AutonomousAgent and AutonomousAgent 例 TimeInterval and Buying agent TimeInterval and AutonomousAgent 儀器 TimeInterval and WebSite 期間 TimeInterval and TimeInterval TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and TimeInterval_BEFORE 例 TimeInterval_BEFORE and Buying agent TimeInterval_BEFORE and AutonomousAgent 儀器 TimeInterval_BEFORE and WebSite 期間 TimeInterval_BEFORE and TimeInterval 等於 new buyers 在 WebSite 其間 TimeInterval and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection AutonomousAgent 會員 AutonomousAgent and Collection TimeInterval 例 AutonomousAgent and AutonomousAgent 例 TimeInterval and Selling agent TimeInterval and AutonomousAgent 儀器 TimeInterval and WebSite 期間 TimeInterval and TimeInterval TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and TimeInterval_BEFORE 例 TimeInterval_BEFORE and Selling agent TimeInterval_BEFORE and AutonomousAgent 儀器 TimeInterval_BEFORE and WebSite 期間 TimeInterval_BEFORE and TimeInterval 等於 new sellers 在 WebSite 期間 TimeInterval and Collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7600-7608	例 Process and 踢 agent Process and AutonomousAgent Object 例 Object and 足 部分 Object and AutonomousAgent 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27466-27483	例 Physical and KnockLight 位於 Physical and Object 例 Object and Room 例 Object and 門 部分 Object and Object 有目的 Physical and entity entity and entity 例 entity and Impacting 患者 entity and Object 原因 entity and entity 例 entity and RadiatingSound agent entity and Object 原因 entity and entity 例 entity and 輻射可見光 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3988-4002	例 Process and LoggingIn AutonomousAgent 有 account 用戶帳號 deviceAccount 用戶帳號 and 電腦 等於 TimeInterval and 眼前的未來 何時 Process agent Process and AutonomousAgent 模態屬性 持有期間 TimeInterval and entity 例 entity and 電腦程序 agent entity and AutonomousAgent 儀器 entity and 電腦 and 可能性
No TPTP formula. May not be expressible in strict first order.	Food.kif 365-372	例 Object and Microwave attribute Object and 設備上 Process 例 Process and 輻射電磁 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 577-586	例 EngineeringComponent and CableModem 例 Process and Communication 儀器 Process and EngineeringComponent EngineeringComponent 例 EngineeringComponent and Cable 儀器 Process and EngineeringComponent 連接的工程組件 EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2970-2996	例 Object and Odometer 例 Object and 車輛 部分 Object and Object 例 Motion and 易位 儀器 Motion and Object 路徑 Motion and 公交專用道 公交專用道 的 distance 是 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and LengthMeasure 有目的 Object and entity entity, RealNumberIST and UnitOfMeasure 例 entity and Measuring 儀器 entity and Object RealNumberIST 是 Object 的 measurement 讀數 在列表中 RealNumber and entity 持有期間 何時 結束 entity and 等於 RealNumberIST and 測量 ListSumFn entity and UnitOfMeasure attribute Object and ResetMeasuringDevice
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