No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2403-2403 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2402-2402 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2401-2401 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55903-55903 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55902-55902 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55901-55901 |
|