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 |
俄罗斯种族 是 民族群组 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 595-595 |
俄罗斯种族 是 斯拉夫民族 的 真正的子集 |