No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 136-136 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 135-135 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 134-134 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7260-7260 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7259-7259 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7258-7258 |
|