No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2511-2511 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2510-2510 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2509-2509 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58586-58586 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58585-58585 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58584-58584 |
|