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 21603-21603 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21602-21602 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21601-21601 |
|