No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1273-1273 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1272-1272 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1271-1271 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29431-29431 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29430-29430 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29429-29429 |
|