No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1975-1975 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1974-1974 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1973-1973 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46364-46364 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46363-46363 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46362-46362 |
|