| LegislativeOrganization(legislative organization) | | Continental_Congress, Duma, House_of_Burgesses, chamber, congress, diet, house |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1890-1892 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1888-1888 | Legislative organization is a subclass of organization |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1912-1912 | United states congress is an instance of legislative organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2001-2001 | The range of legislature is an instance of legislative organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1951-1951 | Legislative chamber is a subclass of legislative organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1906-1906 | Parliament is a subclass of legislative organization |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33917-33917 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33916-33916 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33915-33915 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1894-1899 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1901-1903 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1977-1979 |
|
|
|
|