No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2419-2419 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2418-2418 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2417-2417 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56319-56319 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56318-56318 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56317-56317 |
|