No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2583-2583 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2582-2582 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2581-2581 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61340-61340 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61339-61339 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61338-61338 |
|