No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4786-4786 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4785-4785 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4784-4784 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58214-58214 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58213-58213 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58212-58212 |
|