No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1867-1867 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1866-1866 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1865-1865 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42572-42572 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42571-42571 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42570-42570 |
|