No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4710-4710 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4709-4709 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4708-4708 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65947-65947 |
|