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 58588-58588 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58587-58587 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58586-58586 |
|