No TPTP formula. May not be expressible in strict first order. |
People.kif 495-495 |
爱马克族 是 民族群组 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 509-509 |
俾路支族 是 民族群组 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 515-515 |
巴斯克民族 是 民族群组 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 524-524 |
凯尔特人种族 是 民族群组 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 529-529 |
中亚土耳其种族 是 民族群组 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 534-534 |
哈扎拉族 是 民族群组 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 554-554 |
印度支那种族 是 民族群组 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 559-559 |
拉丁民族 是 民族群组 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 568-568 |
北非种族 是 民族群组 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 572-572 |
普什图族 是 民族群组 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 564-564 |
波利尼西亚种族 是 民族群组 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 594-594 |
俄罗斯种族 是 民族群组 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 599-599 |
斯拉夫民族 是 民族群组 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 604-604 |
塔吉克族 是 民族群组 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 625-625 |
条顿人种族 是 民族群组 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 630-630 |
土库曼族 是 民族群组 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 637-637 |
乌兹别克人的种族 是 民族群组 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 491-491 |
种族群体 是 民族群组 的 subclass |
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 |