No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4830-4830 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4829-4829 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4828-4828 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59182-59182 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59181-59181 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59180-59180 |
|