No TPTP formula. May not be expressible in strict first order. |
People.kif 536-552 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10045-10045 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11127-11127 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 534-534 |
HazaraEthnicity e' uma instancia de Grupo Etnico |
No TPTP formula. May not be expressible in strict first order. |
People.kif 535-535 |
HazaraEthnicity e' uma sub-colecao de AsianEthnicity |