No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3894-3894 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3893-3893 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3892-3892 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38693-38693 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38692-38692 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38691-38691 |
|