No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4646-4646 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4645-4645 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4644-4644 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55308-55308 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55307-55307 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55306-55306 |
|