No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1185-1185 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1184-1184 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1183-1183 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28107-28107 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28106-28106 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28105-28105 |
|