No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2143-2143 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2142-2142 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2141-2141 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49388-49388 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49387-49387 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49386-49386 |
|