No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3314-3314 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3313-3313 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3312-3312 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22282-22282 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22281-22281 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22280-22280 |
|