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 |
Russian ethnicity is an instance of ethnic group |
No TPTP formula. May not be expressible in strict first order. |
People.kif 595-595 |
Russian ethnicity is a proper sub-collection of slavic ethnicity |