No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2387-2387 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2386-2386 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2385-2385 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55716-55716 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55715-55715 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55714-55714 |
|