No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 632-632 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 631-631 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 630-630 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18174-18174 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18173-18173 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18172-18172 |
|