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 61342-61342 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61341-61341 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61340-61340 |
|