|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 332-332 | albumTrack 是 在列表内 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23324-23324 | 别号 是 欺骗性标识符 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23214-23214 | 别号 是 命名 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3129-3129 | alternativeTitle 是 titleInLanguage 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 909-909 | 收费金额 是 交易金额 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17832-17832 | 图的角度 是 几何部分 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 349-349 | anthem 是 表示 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1483-1483 | 评估价值 是 货币价值 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26943-26943 | approves 是 感兴趣 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23480-23480 | 逮捕 是 控制 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 227-227 | arrestingOfficer 是 主事 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1924-1924 | 问价格 是 价钱 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2426-2426 | 在组织中关联 是 组员 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13083-13083 | 出席 是 经历者 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1719-1719 | 属于 是 特性 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23043-23043 | 姑妈 是 家属关系 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3806-3806 | 可用余额 是 目前账户余额 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3829-3829 | 可用现金 是 可用余额 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7815-7815 | 气压 是 计量 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8099-8099 | 之前 是 之前或同时 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3343-3343 | 税前收入 是 赚的收入 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2809-2809 | 相信 是 感兴趣 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1904-1904 | 竞标价格 是 价钱 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24234-24234 | 生日 是 周年 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2510-2510 | 债券评级 是 属于 的 subrelation |
| 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