No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 408-408 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 407-407 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 406-406 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14088-14088 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14087-14087 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14086-14086 |
|