No TPTP formula. May not be expressible in strict first order. |
People.kif 573-592 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9528-9528 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9529-9529 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9530-9530 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8642-8642 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 572-572 |
PashtunEthnicity e' uma instancia de Grupo Etnico |