No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1855-1855 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1854-1854 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1853-1853 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42433-42433 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42432-42432 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42431-42431 |
|