No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1696-1701	例 Abstract and 股票指數 性能指標 例 性能指標 and 股票 性能指標 是 Abstract 的 benchmark
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20186-20190	例 Object and 羔羊 例 Object and 羊 attribute Object and 沒有完全形成
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1348-1351	例 金融賬戶 and 擔保貸款 抵押 抵押 是 金融賬戶 的 secured
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1948-1952	例 RealNumber and NegativeRealNumber 少於 RealNumber and 0 例 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1926-1930	例 RealNumber and NonnegativeRealNumber 大於或等於 RealNumber and 0 例 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1937-1941	例 RealNumber and PositiveRealNumber 比較多 RealNumber and 0 例 RealNumber and RealNumber
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 20241-20245	例 Object and 公雞 例 Object and 雞 attribute Object and 男
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 411-413	例 Entity and 寬軌鐵路 屬性 Entity and 寬規
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 469-471	例 Entity and DualGaugeRailway 屬性 Entity and 雙軌鐵路
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 460-462	例 Entity and 窄軌鐵路 屬性 Entity and 窄規
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 443-445	例 Entity and 標準軌距鐵路 屬性 Entity and 標準規
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8326-8328	例 GeopoliticalArea and StateOrProvince 例 政府 GeopoliticalArea and 州政府
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10944-10950	例 CorpuscularObject and Vertebrate CorpuscularObject 例 CorpuscularObject and Animal 零件 CorpuscularObject and CorpuscularObject 例 CorpuscularObject and 脊柱
No TPTP formula. May not be expressible in strict first order.	engineering.kif 155-157	例 Entity and 微分方程 例 Entity and 方程 跟 微分屬性 的 attr
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23252-23258	CaseRole Process and Object 例 CaseRole and CaseRole 例 Process and Process 例 Object and Object Object 對於 Process 在事件 CaseRole plays 角色
No TPTP formula. May not be expressible in strict first order.	Media.kif 3165-3169	SymbolicString 是 在 Language 的 short title entity-TYPE 例 Entity and entity-TYPE Entity 是 SymbolicString 的簡稱
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
No TPTP formula. May not be expressible in strict first order.	Government.kif 721-726	TimePoint 是 協議 的 agreement 生效日期 賦予權利 Formula, 協議 and CognitiveAgent 例 TimePosition and TimePoint 持有期間 眼前的未來 TimePosition and 堅持正確 Formula and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 766-772	TimePosition 是 Proposition 的 agreement 生效其間 例 TimePosition and TimePosition 例 Formula and Formula 包含信息 Formula and Proposition 持有期間 TimePosition and Formula
No TPTP formula. May not be expressible in strict first order.	Music.kif 316-322	Image 是在 Album 的 image 例 Object and Album 在 DataStorageDevice 的 set 複製 包含 SelfConnectedObject and Object 模態屬性 部分 Image and 面前 SelfConnectedObject and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6231-6244	allergic Human and Substance 例 SubstanceUB and Substance 持有期間 TimePosition and 空間的符合 SubstanceUB and Human 模態屬性 entity 例 entity and AllergicReaction 體驗者 entity and Human 暫時重疊 TimePosition and 何時 entity 之前 開始 TimePosition and 開始 何時 entity and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7596-7611	amount Substance, CorpuscularObject and 測量 RealNumber and UnitOfMass 例 SubstanceI and Substance 測量 SubstanceI and 測量 RealNumber and UnitOfMass 部分 SubstanceI and CorpuscularObject List 在列表中 測量 RealNumber and UnitOfMass and List 等於 List and AmountsFn Substance, CorpuscularObject and UnitOfMass 等於 RealNumber and ListSumFn List
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