No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3830-3830 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3829-3829 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3828-3828 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65870-65870 |
|