No TPTP formula. May not be expressible in strict first order. |
People.kif 501-501 |
例 美洲印第安人種族 and 種族群體 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 505-505 |
例 亞洲種族 and 種族群體 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 520-520 |
例 黑人種族 and 種族群體 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 647-647 |
例 白種人 and 種族群體 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48398-48398 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48397-48397 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48396-48396 |
|