No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2882-2882 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2881-2881 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2880-2880 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64527-64527 |
|