No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 392-392 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 391-391 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 390-390 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13515-13515 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13514-13514 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13513-13513 |
|