No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 300-300 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 299-299 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 298-298 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11087-11087 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11086-11086 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11085-11085 |
|