No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8833-8833 |
AfternoonFn 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1775-1775 |
Attr 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 896-896 |
挪后函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8587-8587 |
日函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4741-4741 |
除法函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15507-15507 |
版本函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8933-8933 |
EveningFn 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1760-1760 |
延伸函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 876-876 |
挪前函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16711-16711 |
政府函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4846-4846 |
最大公因数函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8612-8612 |
时函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5921-5921 |
节点起点函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4922-4922 |
整数平方根函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5581-5581 |
组成类别函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4930-4930 |
最小公倍数函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2976-2976 |
找出表列顺序的函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8638-8638 |
分函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8570-8570 |
月函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8817-8817 |
MorningFn 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14661-14661 |
期刊编号函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8967-8967 |
QuarterFn 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8443-8443 |
重复发生时间函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5095-5095 |
余函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8665-8665 |
秒函数 是 部分值关系 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |