No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 104-104 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 103-103 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 102-102 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5964-5964 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5963-5963 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5962-5962 |
|