|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14615-14615 | 系列编号函数 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24413-24413 | SubstringFn 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5931-5931 | 节点终点函数 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8432-8432 | 时段函数 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8971-8971 | WeekFn 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3031-3031 | acronym 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2432-2432 | 主事 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3421-3421 | agentName 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 697-697 | 协议采用日期 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 757-757 | 协议有效期间 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23205-23205 | 别号 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7723-7723 | 海拔 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24166-24166 | 祖先组织 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1313-1313 | 经营范围 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13793-13793 | 原子数 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13107-13107 | 出席 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5357-5357 | 平均 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16524-16524 | 哥哥 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 45-45 | catalogItem 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2194-2194 | coding 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6493-6493 | 共轭 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16116-16116 | 相连工程子组件 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1016-1016 | 容纳 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7713-7713 | 顾客 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2443-2443 | 终点 是 部分值关系 的 instance |
| 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