No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4614-4614 |
东伯尔伯语 是 柏柏尔语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4657-4657 |
Guanache集团的语言 是 柏柏尔语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4937-4937 |
Tamasheq集团的语言 是 柏柏尔语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5038-5038 |
Zenaga集团的语言 是 柏柏尔语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10769-10769 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10768-10768 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10767-10767 |
|