TotalValuedRelation(总值关系) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8527-8527 | 紧接未来函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8496-8496 | 紧接过去函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5454-5454 | 交集函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6582-6582 | 间隔函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3071-3071 | 连接表列函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3013-3013 | 找出表列长度的函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4986-4986 | 较大值函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6031-6031 | 最高加权路径函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6347-6347 | 计量函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9828-9828 | 部分差异函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9807-9807 | 部分积函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9785-9785 | 部分总和函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5012-5012 | 较小值函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6009-6009 | 最低加权路径函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4698-4698 | 乘法函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5035-5035 | 分子函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8478-8478 | 过去函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6629-6629 | 每 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 796-796 | 幂集函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5333-5333 | 前继数函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16878-16878 | 前提函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2571-2571 | 表示机率的函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4273-4273 | 属于财产函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4962-4962 | 半径 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5069-5069 | 倒数函数 是 总值关系 的 instance |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |