No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1053-1053 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1052-1052 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1051-1051 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24218-24218 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24217-24217 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24216-24216 |
|