No TPTP formula. May not be expressible in strict first order. |
Media.kif 509-514 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 498-506 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 437-444 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 446-453 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 538-547 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 473-482 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 559-568 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 430-435 |
|