No TPTP formula. May not be expressible in strict first order. |
Government.kif 1908-1909 |
|
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 1906-1906 |
Parliament est une sous-classe de LegislativeOrganization |