No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2543-2543 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2542-2542 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2541-2541 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58910-58910 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58909-58909 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58908-58908 |
|