No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 360-360 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 359-359 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 358-358 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13086-13086 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13085-13085 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13084-13084 |
|