No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 524-524 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 523-523 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 522-522 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16596-16596 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16595-16595 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16594-16594 |
|