No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30217-30217 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 134-134 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30216-30216 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30215-30215 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-de.txt 48-48 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 301-301 |
|