No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 999-999 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 998-998 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 997-997 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23498-23498 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23497-23497 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23496-23496 |
|