No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5872-5872 |
巴斯克语言 是 巴斯克语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5901-5901 |
Navarro labourdin 巴斯克语 是 巴斯克语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5916-5916 |
Souletin巴斯克语 是 巴斯克语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10134-10134 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10133-10133 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10132-10132 |
|