|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 332-332 | 子關係 albumTrack and 在列表中 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23324-23324 | 子關係 別號 and 欺騙性標識符 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23214-23214 | 子關係 別號 and 名 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3129-3129 | 子關係 alternativeTitle and titleInLanguage |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 909-909 | 子關係 收費金額 and 交易金額 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17832-17832 | 子關係 圖的角度 and 幾何部分 |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 349-349 | 子關係 anthem and 代表 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1483-1483 | 子關係 評估價值 and 貨幣價值 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26943-26943 | 子關係 approves and 在感興趣的範圍內 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23480-23480 | 子關係 被捕 and 受控 |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 227-227 | 子關係 arrestingOfficer and agent |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1924-1924 | 子關係 問價格 and 價錢 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2426-2426 | 子關係 在組織中關聯 and 會員 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13083-13083 | 子關係 出席 and 體驗者 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1719-1719 | 子關係 attribute and 屬性 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23043-23043 | 子關係 姑媽 and 家庭關係 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3806-3806 | 子關係 可用餘額 and 目前賬戶餘額 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3829-3829 | 子關係 可用現金 and 可用餘額 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7815-7815 | 子關係 氣壓 and 測量 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8099-8099 | 子關係 之前 and 之前或相等 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3343-3343 | 子關係 稅前收入 and 賺的收入 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2809-2809 | 子關係 相信 and 在感興趣的範圍內 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1904-1904 | 子關係 競標價格 and 價錢 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24234-24234 | 子關係 生日 and 週年 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2510-2510 | 子關係 債券評級 and attribute |
| 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