No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1177-1177 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1176-1176 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1175-1175 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28095-28095 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28094-28094 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28093-28093 |
|