No TPTP formula. May not be expressible in strict first order. |
Government.kif 1944-1945 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1892-1892 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2281-2281 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2282-2282 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2283-2283 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2280-2280 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1942-1942 |
Parliament is a subclass of legislative organization |