No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3794-3794 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3793-3793 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3792-3792 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35069-35069 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35068-35068 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35067-35067 |
|