No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 216-216 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 215-215 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 214-214 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8988-8988 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8987-8987 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8986-8986 |
|