No TPTP formula. May not be expressible in strict first order. |
People.kif 501-501 |
美洲印第安人种族 是 种族群体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 505-505 |
亚洲种族 是 种族群体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 520-520 |
黑人种族 是 种族群体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 647-647 |
白种人 是 种族群体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48400-48400 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48399-48399 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48398-48398 |
|