No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 432-432 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 431-431 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 430-430 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14238-14238 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14237-14237 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14236-14236 |
|