No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1061-1061 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1060-1060 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1059-1059 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24272-24272 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24271-24271 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24270-24270 |
|