No TPTP formula. May not be expressible in strict first order.	Merge.kif 18225-18231	持有期間 TimeInterval and attribute AutonomousAgent and 胚胎 例 Process and Birth 等於 TimeInterval and 何時 Process 體驗者 Process and AutonomousAgent 暫時重疊 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18203-18209	持有期間 TimeInterval and attribute AutonomousAgent and 幼蟲 例 Process and Birth 等於 TimeInterval and 何時 Process 體驗者 Process and AutonomousAgent 短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1558-1562	持有期間 TimePosition and RealNumber 是 entity 的 capital 地區支出 持有期間 TimePosition and RealNumber 是 entity 在 annual 地區消費 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3889-3893	持有期間 TimePosition and Formula 意味 Formula and Formula 持有期間 TimePosition and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14359-14366	持有期間 TimeInterval and 發展形式 entity and Attribute 後繼屬性關閉 Attribute and Attribute TimeInterval 早期 TimeInterval and TimeInterval 持有期間 TimeInterval and 發展形式 entity and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7976-7980	持有期間 TimePosition and Formula 時間部分 TimePosition and TimePosition 持有期間 TimePosition and Formula
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3529-3534	持有期間 TimePosition and 例 銀行卡 and 過期的卡 金融賬戶 是 銀行卡 的 card 帳戶 持有期間 TimePosition and attribute 銀行卡 and ActiveAgreement
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2123-2130	持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea 的 annual 電力消耗 例 TimePosition and TimeInterval 子類 TimeInterval and 年 子類 TimeInterval and GeopoliticalArea 的 fiscal 年 GeopoliticalArea 是 對於 TimeInterval 在其間 PhysicalQuantity 的 electricity 消耗
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2167-2174	持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea 的 annual 電力輸出 例 TimePosition and TimeInterval 子類 TimeInterval and 年 子類 TimeInterval and GeopoliticalArea 的 fiscal 年 GeopoliticalArea 是 對於 TimeInterval 在週期 PhysicalQuantity 的 electricity 輸出
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2213-2220	持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea annual 的電力輸入 例 TimePosition and TimeInterval 子類 TimeInterval and 年 子類 TimeInterval and GeopoliticalArea 的 fiscal 年 GeopoliticalArea 是 對於 TimeInterval 在週期 PhysicalQuantity 的 electricity 輸出
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1991-1998	持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea 的 annual 電力生產 例 TimePosition and TimeInterval 子類 TimeInterval and 年 子類 TimeInterval and GeopoliticalArea 的 fiscal 年 GeopoliticalArea 是 對於 TimeInterval 在週期 PhysicalQuantity 的 electricity 生產
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2288-2295	持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 annual 總共輸出 例 TimePosition and TimeInterval 子類 TimeInterval and 年 子類 TimeInterval and GeopoliticalArea 的 fiscal 年 GeopoliticalArea 對於 TimeInterval 在週期 CurrencyMeasure export 全部
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2594-2601	持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 annual 總共輸入 例 TimePosition and TimeInterval 子類 TimeInterval and 年 子類 TimeInterval and GeopoliticalArea 的 fiscal 年 GeopoliticalArea 對於 TimeInterval 在週期 CurrencyMeasure import 全部
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9838-9860	例 Object and Antacid 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 Object and 胃 部分 Object and AutonomousAgent 持有期間 不久的過去 何時 Motion and 包含 Object and Object 例 Object and 流體 持有期間 眼前的未來 何時 Motion and 包含 Object and Object 例 Object and 流體 phMeasure Object and RealNumber phMeasure Object and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12405-12419	例 Process and Attaching 患者 Process and Entity 患者 Process and Entity 持有期間 開始 何時 Process and 連接的 Entity and Entity 持有期間 結束 何時 Process and 連接的 Entity and Entity objectAttached Process and Entity objectAttached Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30230-30241	例 AutonomousAgent and AutonomousAgent 持有期間 TimeInterval and attribute AutonomousAgent and Motionless Process 例 Process and BodyMotion 例 Process and IntentionalProcess agent Process and AutonomousAgent 期間 何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9899-9921	例 Object and ProtonPumpInhibitor 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 Object and 胃 部分 Object and AutonomousAgent 持有期間 不久的過去 何時 Motion and 包含 Object and Object 例 Object and 流體 持有期間 眼前的未來 何時 Motion and 包含 Object and Object 例 Object and 流體 phMeasure Object and RealNumber phMeasure Object and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2332-2343	例 TimeInterval and BringingGEToFront 患者 TimeInterval and Entity 例 Entity and InterfaceWindow 持有期間 開始 TimeInterval and Entity 有 state Attribute 相反的屬性 Attribute and GUE_UncoveredState 持有期間 結束 TimeInterval and Entity 有 state Attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25034-25043	例 Entity and Human 持有期間 TimePosition and entity 有 number entity entity 是 Entity 的 telephone number 位於 entity and entity 例 entity and 住宅 持有期間 TimePosition and 棲息 Entity and entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 89-103	例 Process and 武裝偵察 agent Process and CognitiveAgent 患者 Process and Entity 持有期間 何時 Process and enemy CognitiveAgent and Entity 賦予權利 entity 例 entity and 攻擊 agent entity and CognitiveAgent 患者 entity and Entity, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 665-671	例 Process and 防表面操作 患者 Process and Entity 持有期間 何時 Process and 位於 Entity and Entity 例 Entity and WaterArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19361-19367	例 Entity and ColorAttribute 持有期間 TimePosition and attribute entity and Entity 持有期間 TimePosition and entity 是 Entity 的 color
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13853-13861	例 Process and Boiling 測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點 例 Entity and PureSubstance 患者 Process and Entity 持有期間 何時 Process and 測量 Entity and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 大於或等於 RealNumber and RealNumber
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 30795-30801	例 Entity and Carabiner 持有期間 TimePosition and attribute Entity and 設備關閉 持有期間 TimePosition and attribute Entity and RingTorus
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