No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5872-5872 |
例 巴斯克語言 and 巴斯克語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5901-5901 |
例 navarro labourdin 巴斯克語 and 巴斯克語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5916-5916 |
例 souletin巴斯克語 and 巴斯克語言 |
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 |
|