No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4390-4390 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4389-4389 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4388-4388 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49574-49574 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49573-49573 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49572-49572 |
|