No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3518-3518 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3517-3517 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3516-3516 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64934-64934 |
|