No TPTP formula. May not be expressible in strict first order. |
People.kif 495-495 |
例 愛馬克族 and EthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
People.kif 509-509 |
例 俾路支族 and EthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
People.kif 515-515 |
例 巴斯克民族 and EthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
People.kif 524-524 |
例 凱爾特人種族 and EthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
People.kif 529-529 |
例 中亞土耳其種族 and EthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
People.kif 534-534 |
例 哈扎拉族 and EthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
People.kif 554-554 |
例 印度支那種族 and EthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
People.kif 559-559 |
例 拉丁民族 and EthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
People.kif 568-568 |
例 北非種族 and EthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
People.kif 572-572 |
例 普什圖族 and EthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
People.kif 564-564 |
例 波利尼西亞種族 and EthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
People.kif 594-594 |
例 俄羅斯種族 and EthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
People.kif 599-599 |
例 斯拉夫民族 and EthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
People.kif 604-604 |
例 塔吉克族 and EthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
People.kif 625-625 |
例 條頓人種族 and EthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
People.kif 630-630 |
例 土庫曼族 and EthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
People.kif 637-637 |
例 烏茲別克人的種族 and EthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
People.kif 491-491 |
子類 種族群體 and EthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1066-1066 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1343-1343 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 744-744 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 275-275 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 278-278 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2428-2428 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |