No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2982-2982 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2981-2981 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2980-2980 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14250-14250 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14249-14249 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14248-14248 |
|