No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 512-512 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 511-511 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 510-510 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16230-16230 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16229-16229 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16228-16228 |
|