No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1165-1165 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1164-1164 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1163-1163 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27726-27726 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27725-27725 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27724-27724 |
|