No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1927-1927 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1926-1926 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1925-1925 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45084-45084 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45083-45083 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45082-45082 |
|