No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2523-2523 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2522-2522 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2521-2521 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58612-58612 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58611-58611 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58610-58610 |
|