|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3274-3280 | 採用 協議 and 協議 CognitiveAgent 屬性 CognitiveAgent and 僱用 協議 是 CognitiveAgent 的 party 協議 協議 是 CognitiveAgent 的 party 協議 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1547-1558 | RealNumber percent 的人在 GeographicArea 是 EthnicGroup Collection Collection, Physical, Physical, RealNumber1 and RealNumber2 位於 Physical and GeographicArea 會員 Physical and EthnicGroup 會員 Physical and Collection RealNumber1 是 Collection 的 member 計數 位於 Physical and GeographicArea 會員 Physical and Collection RealNumber2 是 Collection 的 member 計數 等於 部 RealNumber and 100 and 部 RealNumber1 and RealNumber2 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2789-2794 | GeopoliticalArea 對 PositiveRealNumber 和 TimeInterval 在週期 GeopoliticalArea 由部分 export 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 對於 PositiveRealNumber 由部分 GeopoliticalArea export 夥伴 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2751-2756 | GeopoliticalArea 對 PositiveInteger 和 TimeInterval 在週期 GeopoliticalArea 由階級 export 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 對於 PositiveInteger 由階級 GeopoliticalArea export 夥伴 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2627-2632 | AutonomousAgent 對於 TimeInterval 在週期 AutonomousAgent export 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and AutonomousAgent 是 AutonomousAgent 的 export 夥伴 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3110-3115 | GeopoliticalArea 是 對於 TimeInterval 在週期 CurrencyMeasure 的 external 債務 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 external 債務 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1370-1375 | RealNumber 是對於 GeopoliticalArea 在週期 RealNumber 的 highest 平分家庭收入 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and RealNumber 是 GeopoliticalArea 的 highest 平分家庭收入 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31887-31900 | 持有期間 TimeInterval and attribute Entity and Alone Entity2 Process 等於 Entity and Entity2 例 Entity2 and AutonomousAgent 例 Process and SocialInteraction 期間 何時 Process and TimeInterval Entity 是事件 Process 的 involved Entity2 是事件 Process 的 involved |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31935-31943 | 持有期間 TimeInterval and attribute AutonomousAgent and Mute Process 例 Process and 說話 期間 何時 Process and TimeInterval agent Process and AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3077-3082 | 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 3039-3044 | 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 3009-3014 | 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 1409-1414 | 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 2189-2194 | GeopoliticalArea 是 對於 TimeInterval 在週期 RealNumber 的 industrial 生產成率 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and RealNumber 是 GeopoliticalArea 的 %industrial 生產速率 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13031-13038 | 例 Object and Bone Object 例 Object and 骨架 例 Object and 外骨骼 部分 Object and Object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7441-7451 | 例 Entity and 共軛物質 Object Object and Process 例 Object and CompoundSubstance 例 Object and CompoundSubstance 等於 Object and Object 例 Process and ChemicalSynthesis 資源 Process and Object 資源 Process and Object 結果 Process and Entity |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1335-1340 | 例 抵押 and 抵押 金融賬戶 例 金融賬戶 and 擔保貸款 抵押 是 金融賬戶 的 secured |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9269-9274 | 例 GeopoliticalArea and 市區 GeopoliticalArea 例 GeopoliticalArea and City 地緣政治細分 GeopoliticalArea and GeopoliticalArea |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 63-68 | 例 CorpuscularObject and 電腦硬件 CorpuscularObject 例 CorpuscularObject and 電腦 零件 CorpuscularObject and CorpuscularObject |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1682-1687 | 例 性能指標 and 通脹指數 Abstract 例 Abstract and Inflation 性能指標 是 Abstract 的 benchmark |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1710-1715 | 例 Abstract and 股票指數 性能指標 例 性能指標 and 股票 性能指標 是 Abstract 的 benchmark |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1362-1365 | 例 金融賬戶 and 擔保貸款 抵押 抵押 是 金融賬戶 的 secured |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 108-115 | 例 Organization and 政府組織 例 Organization and Government Organization 例 Organization and Government 子組織 Organization and Organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12293-12299 | 例 CorpuscularObject and Vertebrate CorpuscularObject 例 CorpuscularObject and Animal 零件 CorpuscularObject and CorpuscularObject 例 CorpuscularObject and 脊柱 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1544-1549 | 按職業期間劃分的勞動力比例 GeopoliticalArea, Attribute, RealNumber and TimeInterval TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and |
| 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