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 59180-59180 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59179-59179 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59178-59178 |
|