Sigma KEE - BeginFn

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	例 TimeInterval and TimeInterval_CLASS 子類 TimeInterval_CLASS and Process 例 AccessingWebPage and AccessingWebPage 例 AutonomousAgent and AutonomousAgent agent TimeInterval and AutonomousAgent agent AccessingWebPage and AutonomousAgent 期間 TimeInterval and AccessingWebPage 例 Physical and TimeInterval TimeInterval 例 TimeInterval and TimeInterval_CLASS agent TimeInterval and AutonomousAgent 期間 TimeInterval and AccessingWebPage 之前開始何時 TimeInterval and 開始何時 TimeInterval 等於開始何時 AccessingWebPage and 開始何時 Physical 等於開始何時 TimeInterval and 結束何時 Physical 等於 AccessingWebPage 的 time 在類別 TimeInterval_CLASS and Physical
No TPTP formula. May not be expressible in strict first order.	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 號碼
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8284-8289	例 TimeInterval and TimeInterval 等於 TimePoint and 開始 TimeInterval 等於 TimePoint and 結束 TimeInterval 之前 TimePoint and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8291-8301	例 TimeInterval and TimeInterval 例 TimeInterval and TimeInterval 之前或相等開始 TimeInterval and 開始 TimeInterval 之前開始 TimeInterval and 結束 TimeInterval 暫時重疊 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8712-8719	例 TimeInterval and 年 Integer 例 TimeInterval and 年 Integer 等於 TimePoint and 開始 TimeInterval 等於 TimePoint and 開始 TimeInterval 比較多 Integer and Integer 之前 TimePoint and TimePoint
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1758-1780	muscleInsertion Muscle and BodyPart 例 Object and Human 持有期間 TimeInterval and attribute Object and StandardAnatomicalPosition attribute Object and Healthy 例 TimeInterval and MuscularContraction 期間何時 TimeInterval and TimeInterval 例 Object and Muscle 部分 Object and Object 儀器 TimeInterval and Object physicalEnd Object and Object 空間的符合 Object and Object 持有期間開始 TimeInterval and 位於 Object and entity 持有期間結束 TimeInterval and 位於 Object and entity
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1708-1729	muscleOrigin Muscle and BodyPart 例 Object and Human 持有期間 TimeInterval and attribute Object and StandardAnatomicalPosition attribute Object and Healthy 例 TimeInterval and MuscularContraction 期間何時 TimeInterval and TimeInterval 例 Object and Muscle 部分 Object and Object 儀器 TimeInterval and Object physicalEnd Object and Object 空間的符合 Object and Object 持有期間開始 TimeInterval and 位於 Object and entity 持有期間結束 TimeInterval and 位於 Object and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12826-12832	患者 Process and Physical 時間 Physical and 結束何時 Process 時間 Physical and 開始何時 Process 例 Process and Creation
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2669-2685	屬性協議 and 選項 CognitiveAgent holds 協議 CurrencyMeasure 是協議的 strike 價錢協議有 expiration TimeInterval 金融工具是對於 AutonomousAgent 的 price CurrencyMeasure 例 AutonomousAgent and TimeInterval 之前結束 AutonomousAgent and 開始 TimeInterval 金融工具是協議的 underlier 堅持正確卡帕 SymbolicString and 例 SymbolicString and Selling 患者 SymbolicString and 金融工具時間 SymbolicString and AutonomousAgent 測量金融工具 and 測量 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2623-2639	屬性協議 and 選項 CognitiveAgent holds 協議 CurrencyMeasure 是協議的 strike 價錢協議有 expiration TimeInterval 金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price CurrencyMeasure 例 AutonomousAgent and TimeInterval 之前結束 AutonomousAgent and 開始 TimeInterval 堅持正確卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 金融工具時間 SymbolicString and AutonomousAgent 測量金融工具 and 測量 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2687-2703	屬性協議 and 選項 CognitiveAgent sells 協議 CurrencyMeasure 是協議的 strike 價錢協議有 expiration TimeInterval 金融工具是對於 AutonomousAgent 的 price CurrencyMeasure 例 AutonomousAgent and TimeInterval 之前結束 AutonomousAgent and 開始 TimeInterval 金融工具是協議的 underlier 持有義務卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 金融工具時間 SymbolicString and AutonomousAgent 測量金融工具 and 測量 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2641-2659	屬性協議 and 選項 CognitiveAgent sells 協議 CurrencyMeasure 是協議的 strike 價錢協議有 expiration TimeInterval 金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price CurrencyMeasure 例 AutonomousAgent and TimeInterval 之前結束 AutonomousAgent and 開始 TimeInterval 持有義務卡帕 SymbolicString and 例 SymbolicString and Selling 患者 SymbolicString and 金融工具時間 SymbolicString and AutonomousAgent 測量金融工具 and 測量 100 and ShareUnit agent SymbolicString and entity and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8047-8052	資源 Process and Object 持有期間開始何時 Process and 測量 Object and RealNumber 持有期間結束何時 Process and 測量 Object and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 834-842	CurrencyMeasure 是 FinancialTransaction 的 transaction 總額日期 FinancialTransaction and Day 例金融賬戶 and 金融賬戶目的地 FinancialTransaction and 金融賬戶的 currency 金融賬戶對於 TimeInterval 到期的 amount CurrencyMeasure 之前結束 Day and 開始 TimeInterval 例 FinancialTransaction and 預付款
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8404-8406	之前結束 TimeInterval and 開始 TimeInterval 早期 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8020-8027	等於開始 TimeInterval and TimePoint TimePoint 時間部分 TimePoint and TimeInterval 等於 TimePoint and TimePoint 之前 TimePoint and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8361-8365	等於結束 TimeInterval and 開始 TimeInterval 短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1270-1284	TimeInterval TimeInterval TimeDuration 是 ComputerProgram 的 dependency 延遲關機塊是 ComputerProgram 的 dependency 類別 ComputerProgram 有對 ComputerProgram 的依賴性例電腦程序 and 電腦程序 ComputerProgram 是電腦程序的執行 program 例電腦程序 and 電腦程序 ComputerProgram 是電腦程序的執行 program 等於何時電腦程序 and TimeInterval 飾面 TimeInterval and TimeInterval 等於何時電腦程序 and TimeInterval 等於開始 TimeInterval and 結束 TimeInterval 持續時間 TimeInterval and TimeDuration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1254-1268	TimeInterval TimeInterval TimeDuration 是 ComputerProgram 的 dependency 延遲啟動塊是 ComputerProgram 的 dependency 類別 ComputerProgram 有對 ComputerProgram 的依賴性例電腦程序 and 電腦程序 ComputerProgram 是電腦程序的執行 program 例電腦程序 and 電腦程序 ComputerProgram 是電腦程序的執行 program 等於何時電腦程序 and TimeInterval 啟動 TimeInterval and TimeInterval 等於何時電腦程序 and TimeInterval 等於結束 TimeInterval and 開始 TimeInterval 持續時間 TimeInterval and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8234-8243	暫時之間或等於開始何時 Physical, TimePoint and 結束何時 Physical 時間 Physical and TimePoint 例 TimePoint and TimePoint

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