No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 264-264 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 263-263 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 262-262 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10164-10164 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10163-10163 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10162-10162 |
|