No TPTP formula. May not be expressible in strict first order. |
People.kif 631-631 |
子集合 土庫曼族 and 中亞土耳其種族 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 638-638 |
子集合 烏茲別克人的種族 and 中亞土耳其種族 |
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 |
|