No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6983-6983 |
布列塔尼语言 是 brythonic语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7004-7004 |
康沃尔语 是 brythonic语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7018-7018 |
威尔士语 是 brythonic语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12185-12185 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12184-12184 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12183-12183 |
|