No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2163-2163 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2162-2162 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2161-2161 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50090-50090 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50089-50089 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50088-50088 |
|