No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4761-4761 |
绝对值函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1279-1279 |
AccelerationFn 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4711-4711 |
加法函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5258-5258 |
ArcCosineFn 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5268-5268 |
ArcSineFn 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5248-5248 |
ArcTangentFn 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8003-8003 |
开始函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5941-5941 |
节点开端函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4782-4782 |
顶整数函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7647-7647 |
圆心 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5476-5476 |
补集函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4800-4800 |
馀弦函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4809-4809 |
分母函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6643-6643 |
密度函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4937-4937 |
直径 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8031-8031 |
结束函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5952-5952 |
节点末端 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4818-4818 |
次幂函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4827-4827 |
底整数函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8532-8532 |
未来函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5497-5497 |
概括交集函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5486-5486 |
概括结合函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6053-6053 |
图路函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4907-4907 |
虚数函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16306-16306 |
直系亲属 是 总值关系 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |