No TPTP formula. May not be expressible in strict first order. |
People.kif 596-597 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10237-10237 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11774-11774 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11775-11775 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11776-11776 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11777-11777 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11778-11778 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11779-11779 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11780-11780 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 594-594 |
RussianEthnicity e' uma instancia de Grupo Etnico |
No TPTP formula. May not be expressible in strict first order. |
People.kif 595-595 |
RussianEthnicity e' uma sub-colecao de SlavicEthnicity |