No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1325-1325 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1324-1324 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1323-1323 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29923-29923 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29922-29922 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29921-29921 |
|