No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 164-164 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 163-163 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 162-162 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7674-7674 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7673-7673 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7672-7672 |
|