No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2479-2479 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2478-2478 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2477-2477 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58532-58532 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58531-58531 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58530-58530 |
|