No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8855-8855 |
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 8609-8609 |
日函数 是 部分值关系 的 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 15529-15529 |
版本函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8955-8955 |
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 16733-16733 |
政府函数 是 部分值关系 的 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 8634-8634 |
时函数 是 部分值关系 的 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 8660-8660 |
分函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8592-8592 |
月函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8839-8839 |
MorningFn 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14660-14660 |
期刊编号函数 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8989-8989 |
QuarterFn 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8465-8465 |
重复发生时间函数 是 部分值关系 的 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 8687-8687 |
秒函数 是 部分值关系 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |