No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1523-1523 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1522-1522 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1521-1521 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34043-34043 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34042-34042 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34041-34041 |
|