No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1020-1020 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1019-1019 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1018-1018 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23978-23978 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23977-23977 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23976-23976 |
|