No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 864-864 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 863-863 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 862-862 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21594-21594 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21593-21593 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21592-21592 |
|