No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2049-2049 |
EmailLocalPartFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8030-8030 |
结束函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5951-5951 |
节点末端 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8954-8954 |
EveningFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1148-1148 |
专属捕鱼区 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1320-1320 |
行政部门 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1180-1180 |
延伸捕鱼区 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1759-1759 |
延伸函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4509-4509 |
FailureFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3664-3664 |
FarmOfProductFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3225-3225 |
第一 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3696-3696 |
财政年度 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 886-886 |
适合兵役的男性 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4826-4826 |
底整数函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4892-4892 |
流 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4924-4924 |
流动区域 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14879-14879 |
FoodForFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 877-877 |
挪前函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8531-8531 |
未来函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2945-2945 |
GMBFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2988-2988 |
GMVFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5496-5496 |
概括交集函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5485-5485 |
概括结合函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 333-333 |
地理中心 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16732-16732 |
政府函数 是 一元函数 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |