No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1518-1518 |
Erbice creole 荷兰语言 是 基于荷兰语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1529-1529 |
荷兰克里奥尔语 是 基于荷兰语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1537-1537 |
Petjo语言 是 基于荷兰语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1545-1545 |
Skepi克里奥尔语荷兰语 是 基于荷兰语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20724-20724 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20723-20723 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20722-20722 |
|