No TPTP formula. May not be expressible in strict first order. |
People.kif 502-503 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8857-8857 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8862-8862 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8334-8334 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8858-8858 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8859-8859 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8863-8863 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8860-8860 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 501-501 |
AmerindianEthnicity e' uma instancia de RacialEthnicGroup |