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 57476-57476 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57475-57475 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57474-57474 |
|