No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 415-415 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 373-373 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 99-99 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 374-374 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 100-100 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 219-219 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 247-247 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 246-246 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 338-338 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 434-434 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 419-419 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 375-375 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 183-183 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 184-184 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 224-224 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 376-376 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 220-220 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 218-218 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 412-412 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 377-377 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 243-243 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 344-344 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 249-249 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 336-336 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 378-378 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |