No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2998-3003 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3005-3010 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4861-4872 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4874-4888 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4946-4956 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4958-4972 |
|
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 3179-3188 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3190-3202 |
|
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 3048-3055 |
|
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 2950-2955 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2957-2966 |
|
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 4854-4859 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4939-4944 |
|
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 2940-2948 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |