No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 492-492 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 491-491 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 490-490 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16044-16044 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16043-16043 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16042-16042 |
|