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 55196-55196 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55195-55195 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55194-55194 |
|