No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1249-1249 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1248-1248 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1247-1247 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29343-29343 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29342-29342 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29341-29341 |
|