No TPTP formula. May not be expressible in strict first order. |
People.kif 631-631 |
土库曼族 是 中亚土耳其种族 的 真正的子集 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 638-638 |
乌兹别克人的种族 是 中亚土耳其种族 的 真正的子集 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13830-13830 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13829-13829 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13828-13828 |
|