No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1281-1281 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1280-1280 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1279-1279 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29443-29443 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29442-29442 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29441-29441 |
|