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 56317-56317 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56316-56316 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56315-56315 |
|