No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1727-1727 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1726-1726 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1725-1725 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37607-37607 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37606-37606 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37605-37605 |
|