No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2571-2571 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2570-2570 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2569-2569 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59920-59920 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59919-59919 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59918-59918 |
|