|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14616-14616 | 系列编号函数 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24414-24414 | 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 8410-8410 | 时段函数 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8949-8949 | 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 23206-23206 | 别号 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7701-7701 | 海拔 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24167-24167 | 祖先组织 是 部分值关系 的 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 13771-13771 | 原子数 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13085-13085 | 出席 是 部分值关系 的 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 16502-16502 | 哥哥 是 部分值关系 的 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 6494-6494 | 共轭 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16094-16094 | 相连工程子组件 是 部分值关系 的 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 7714-7714 | 顾客 是 部分值关系 的 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