No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 516-516 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 515-515 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 514-514 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16386-16386 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16385-16385 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16384-16384 |
|