No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2999-3004 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3006-3011 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4862-4873 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4875-4889 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4947-4957 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4959-4973 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 295-302 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3180-3189 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3191-3203 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2093-2103 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2075-2090 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2137-2150 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2210-2223 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2174-2187 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3049-3056 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 464-468 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2951-2956 |
- 如果 类 分拆成不相交的 @ROW,
- 然后 对所有 第三 类
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2958-2967 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 574-578 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4855-4860 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4940-4945 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2125-2134 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 519-531 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 509-517 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2941-2949 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |