No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1012-1012 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1011-1011 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1010-1010 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23954-23954 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23953-23953 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23952-23952 |
|