No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1115-1124	例 金融賬戶 and 傳統儲蓄賬戶 例 Process and 退出 起源 Process and 金融賬戶 的 currency Process 例 Process and 罰款 目的地 Process and 金融賬戶 的 currency 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2003-2012	例 Physical and 壅 部分位於 Physical and Object 有目的 Physical and entity 例 entity and 易位 路徑 entity and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21775-21794	例 Process and 封鎖 例 Contest and Contest 子過程 Process and Contest AutonomousAgent participates 在 Contest agent Process and AutonomousAgent Contest1 CognitiveAgent 防止 Contest1 and 易位 例 Process and Contest1 CognitiveAgent participates 在 Contest 等於 AutonomousAgent and CognitiveAgent 慾望 CognitiveAgent and entity 例 entity and Contest1 agent entity and AutonomousAgent 子過程 entity and Contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21473-21488	例 Process and 臉紅 體驗者 Process and AutonomousAgent TimeInterval TimeInterval, Entity and Entity 例 Entity and EmotionalState 例 Entity and EmotionalState 等於 Entity and Entity 持有期間 TimeInterval and attribute AutonomousAgent and Entity 持有期間 TimeInterval and attribute AutonomousAgent and Entity 啟動 何時 Process and TimeInterval 飾面 何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17385-17396	例 Process and 登機 agent Process and AutonomousAgent 患者 Process and Entity 持有期間 開始 何時 Process and AutonomousAgent 是 onboard Entity 持有期間 結束 何時 Process and AutonomousAgent 是 onboard Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17426-17438	例 Process and deboarding agent Process and AutonomousAgent 患者 Process and Entity 持有期間 開始 何時 Process and AutonomousAgent 是 onboard Entity 持有期間 結束 何時 Process and AutonomousAgent 是 onboard Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21394-21402	例 Process and 流血的 體驗者 Process and AutonomousAgent Entity 例 Entity and Blood 持有期間 開始 何時 Process and 部分 Entity and AutonomousAgent 持有期間 結束 何時 Process and 部分 Entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 617-627	例 Object and BrakePad 例 Entity and BrakeRotor 例 Process and 旋轉 患者 Process and Entity 例 Process and 摩擦 資源 Process and Object 患者 Process and Entity 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 639-649	例 Object and BrakeShoe 例 Entity and BrakeDrum 例 Process and 旋轉 患者 Process and Entity 例 Process and 摩擦 資源 Process and Object 患者 Process and Entity 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10576-10592	例 Object and BodySegment 例 Object and BodySegment 連接的 Object and Object 例 Motion and BodyMotion 移動 Motion and Object 模態屬性 Motion 例 Motion and BodyMotion 移動 Motion and Object 期間 何時 Motion and 何時 Motion and 可能性
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4089-4121	例 Object and BimetalTemperatureSensor 例 Object and Metal 例 Object and Metal 等於 Object and Object 部分 Object and Object 部分 Object and Object 例 Entity and TemperatureMeasure 例 Entity and TemperatureMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 等於 Entity and Entity 等於 TimePosition and TimePosition 持有期間 TimePosition and 測量 Object and Entity 測量 Object and RealNumber 測量 Object and RealNumber 持有期間 TimePosition and 測量 Object and Entity 測量 Object and RealNumber 測量 Object and RealNumber 等於 部 RealNumber and RealNumber and 部 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30816-30823	例 Entity and Carabiner 持有期間 TimePosition and attribute Entity and 設備打開 持有期間 TimePosition and attribute Entity and RingTorus
No TPTP formula. May not be expressible in strict first order.	Dining.kif 586-602	例 Process and CateringService agent Process and AutonomousAgent 目的地 Process and ProcessUST 位於 AutonomousAgent and Object AutonomousAgent 是 ProcessUST 的 customer Process Entity and Process 例 Process and Cooking agent Process and AutonomousAgent 結果 Process and Entity 患者 Process and Entity 例 Process and Eating agent Process and ProcessUST Process 是 located 在 Object 等於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23767-23778	例 Process and 引起幸福 患者 Process and Entity 持有期間 開始 何時 Process and attribute Entity and 幸福 持有期間 結束 何時 Process and attribute Entity and 幸福
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23788-23799	例 Process and 導致不快樂 患者 Process and Entity 持有期間 開始 何時 Process and attribute Entity and 不幸 持有期間 結束 何時 Process and attribute Entity and 不幸
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1747-1767	例 Physical and Cavitating 例 SelfConnectedObject and 泵 attribute SelfConnectedObject and 設備上 attribute Object and 液體 包含 SelfConnectedObject and Object SelfConnectedObjectP entity 部分 SelfConnectedObjectP and SelfConnectedObject 有目的 SelfConnectedObjectP and attribute entity and 液體 空間的符合 entity and SelfConnectedObjectP 持有期間 何時 Physical and entity attribute entity and 液體 空間的符合 SelfConnectedObjectP and entity
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1823-1830	例 Object and Chest 部分 Object and SelfConnectedObject 等於 SelfConnectedObject and 背部 SelfConnectedObject 部分 Object and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1823-1842	例 Object and Clutch 例 Object and 汽車 例 Object and 發動機 例 Object and 變速器 例 ObjectEAR and 齒輪 部分 ObjectEAR and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object attribute Object and 設備上 Process 例 Process and Motion 患者 Process and Object 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5488-5497	例 Process and 隱瞞 患者 Process and Entity 有目的 Process and entity 例 entity and Seeing 患者 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 767-785	例 Process and Cricothyroidotomy 患者 Process and Entity 有目的 Process and 持有期間 不久的過去 何時 Process and entity 例 entity and ImpairmentFn Breathing 患者 entity and Entity 持有期間 眼前的未來 何時 Process and entity 例 entity and ImpairmentFn Breathing 患者 entity and Entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2332-2338	例 協議 and 民政協議 協議 是 CognitiveAgent 的 party 協議 協議 是 CognitiveAgent 的 party 協議 enemy CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2309-2328	例 協議 and 民政協議 協議 是 entity_MIL_THIS 的 party 協議 例 entity_MIL_THIS and 軍事組織 entity_THIS 是 entity_MIL_THIS 的 military 區域 例 entity_THIS and Nation 位於 entity_MIL_THIS and entity_FRIENDLY 例 entity_FRIENDLY and Nation 等於 entity_THIS and entity_FRIENDLY enemy entity_THIS and entity_FRIENDLY entity_FRIENDLY 位於 entity_FRIENDLY and entity_FRIENDLY 協議 是 entity_FRIENDLY 的 party 協議 例 entity_FRIENDLY and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Food.kif 3414-3429	例 Object and CarbonDioxide 例 Object and Molecule Object Object and Object 例 Object and 碳 例 Object and 氧 例 Object and 氧 例 Object and Atom 例 Object and Atom 例 Object and Atom 部分 Object and Object 部分 Object and Object 部分 Object and Object 等於 Object and Object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1003-1022	例 Object and HexaploidCell 部分 Object and Object 例 Object and 細胞核 位於 Collection and Object 例 Collection and Collection Chromosome 是 Collection 的 member 類別 Collection Collection and Collection 例 Collection and HomologousChromosomeSet 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet 子集合 Collection and Collection 等於 Collection and Collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 755-770	例 Object and MonoploidCell 例 Object and 細胞核 部分 Object and Object Physical 例 Physical and MonoploidChromosomeSet 位於 Physical and Object Physical 例 Physical and MonoploidChromosomeSet 等於 Physical and Physical 位於 Physical 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