No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 113-115 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 637-640 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 459-460 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 185-186 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1312-1316 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 189-190 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 326-327 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 313-314 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1543-1543 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1647-1648 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 138-142 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2191-2193 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2252-2252 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1273-1275 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1420-1421 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1039-1041 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 635-636 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 364-365 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 651-652 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 451-452 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1643-1644 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1653-1653 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1341-1341 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1505-1507 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1765-1766 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |