No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4634-4634 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4633-4633 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4632-4632 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55194-55194 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55193-55193 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55192-55192 |
|