No TPTP formula. May not be expressible in strict first order. |
People.kif 501-501 |
AmerindianEthnicity e' uma instancia de RacialEthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
People.kif 505-505 |
AsianEthnicity e' uma instancia de RacialEthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
People.kif 520-520 |
BlackEthnicity e' uma instancia de RacialEthnicGroup |
No TPTP formula. May not be expressible in strict first order. |
People.kif 647-647 |
WhiteEthnicity e' uma instancia de RacialEthnicGroup |
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 |
|