No TPTP formula. May not be expressible in strict first order.	Economy.kif 2742-2747	GeopoliticalArea 對 PositiveRealNumber 和 TimeInterval 在週期 GeopoliticalArea 由一部分 import 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 對於 PositiveRealNumber 由一部分 GeopoliticalArea import 夥伴
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2704-2709	GeopoliticalArea 對於 PositiveInteger 和 TimeInterval 在週期 GeopoliticalArea 由階級 import 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 對於 PositiveInteger 由階級 GeopoliticalArea import 夥伴
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2674-2679	AutonomousAgent 對於 TimeInterval 在 週期 AutonomousAgent import 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and AutonomousAgent 是 AutonomousAgent 的 import 夥伴
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1318-1323	GeopoliticalArea 對於 TimeInterval 在週期 NonnegativeRealNumber 基於基尼指數 income 分配 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and NonnegativeRealNumber 是 GeopoliticalArea 基於基尼指數的 income 分配
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1949-1954	GeopoliticalArea 是 對於 TimeInterval 在週期 RealNumber 的 industrial 生產成率 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and RealNumber 是 GeopoliticalArea 的 %industrial 生產速率
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1419-1424	按職業期間劃分的勞動力比例 GeopoliticalArea, Attribute, RealNumber and TimeInterval TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1373-1378	GeopoliticalArea 是 對於 TimeInterval 在週期 NonnegativeRealNumber 的 labor 總力量 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and NonnegativeRealNumber 是 GeopoliticalArea 的 labor 總力量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23308-23310	Object 對於 Object 在時間 TimePosition located 持有期間 TimePosition and 位於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1233-1238	GeopoliticalArea 對於 TimeInterval 在週期 RealNumber 的 lowest 平分家庭收入 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and RealNumber 是 GeopoliticalArea lowest 平分家庭收入
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22703-22705	時間上的會員 SelfConnectedObject, Collection and TimePosition 持有期間 TimePosition and 會員 SelfConnectedObject and Collection
No TPTP formula. May not be expressible in strict first order.	Military.kif 1019-1024	GeopoliticalArea 是 對於 TimeInterval 在週期 RealNumber 的 military 部分GDP支出 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and RealNumber 是 GeopoliticalArea 的 military 部分GDP支出
No TPTP formula. May not be expressible in strict first order.	Military.kif 980-985	GeopoliticalArea 是 對於 TimeInterval 在周期 CurrencyMeasure 的 military 美元花費 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 military 美元花費
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1042-1047	GeopoliticalArea 是 對於 TimeInterval 在週期 CurrencyMeasure 的 per 人頭 GDP TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 per 人頭 GDP
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1184-1189	GeopoliticalArea 對於 TimeInterval 在週期 RealNumber 在貧困標準下的 population 部分 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and RealNumber 是 GeopoliticalArea 在貧困標準下的 population 部分
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1007-1012	GeopoliticalArea 是 對於 ％３ 在週期 ％２ 的 real ＧＤＰ 的成長速率 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and RealNumber 是 GeopoliticalArea 的 real GDP 成長速率
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1086-1091	GeopoliticalArea 是 對於 RealNumber 和 TimeInterval 在 週期 行業屬性 的 GDP sector 組成 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 是 對於 RealNumber 的 GDP 行業屬性 sector 組成
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1129-1137	GeopoliticalArea 是 測量 RealNumber and UnitOfMeasure 和 TimeInterval 在 週期 行業屬性 的 sector GDP 價值 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 是 對於 測量 RealNumber and UnitOfMeasure 的 sector GDP 價值 行業屬性
No TPTP formula. May not be expressible in strict first order.	Economy.kif 958-963	GeopoliticalArea 是 對於 TimeInterval 在 週期 CurrencyMeasure 的 totalGDP TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 total GDP
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1456-1461	GeopoliticalArea 是 對於 TimeInterval 在週期 RealNumber 地區的 unemployment 比例 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 是 對於 在地區 RealNumber 的 unemployment 比例
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14055-14058	協議 有 expiration TimePoint 持有期間 未來 TimePoint and 屬性 協議 and ActiveAgreement
No TPTP formula. May not be expressible in strict first order.	Government.kif 738-753	Proposition agreement 對於 Proposition 的修改日期 TimePosition TimePosition 例 TimePosition and TimePosition 持有期間 不久的過去 TimePosition and 次提案 Proposition and Proposition 持有期間 眼前的未來 TimePosition and 次提案 Proposition and Proposition 持有期間 不久的過去 TimePosition and 次提案 Proposition and Proposition 持有期間 眼前的未來 TimePosition and 次提案 Proposition and Proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16852-16861	Human 的 almaMater 是 中學後 Process 例 Process and EducationalProcess 目的地 Process and Human Process 是 located 在 中學後 持有期間 何時 Process and attribute Human and 學生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20760-20767	actedIn Human and 內容承載物理 例 Process and 戲劇表演 患者 Process and Human 結果 Process and 內容承載物理 持有期間 何時 Process and attribute Human and Actor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18837-18843	agent Process and AutonomousAgent 結果 Process and Entity 例 Entity and ArtWork 持有期間 何時 Process and attribute AutonomousAgent and Artist
No TPTP formula. May not be expressible in strict first order.	Government.kif 714-719	TimePoint 是 協議 的 agreement 生效日期 授予義務 Formula, 協議 and CognitiveAgent 例 TimePosition and TimePoint 持有期間 眼前的未來 TimePosition and 持有義務 Formula and CognitiveAgent
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