No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3014-3014 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3013-3013 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3012-3012 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 540-540 |
|