No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2447-2447 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2446-2446 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2445-2445 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57478-57478 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57477-57477 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57476-57476 |
|