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 13506-13506 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13505-13505 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13504-13504 |
|