No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8549-8549 |
紧接未来函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8518-8518 |
紧接过去函数 是 总值关系 的 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 9850-9850 |
部分差异函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9829-9829 |
部分积函数 是 总值关系 的 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 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 8500-8500 |
过去函数 是 总值关系 的 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 16900-16900 |
前提函数 是 总值关系 的 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 4956-4956 |
半径 是 总值关系 的 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 |