No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3442-3442 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3441-3441 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3440-3440 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23720-23720 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23719-23719 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23718-23718 |
|