No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 452-452 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 451-451 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 450-450 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14892-14892 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14891-14891 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14890-14890 |
|