LegislativeOrganization
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1926-1928 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1924-1924 | 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 1948-1948 | United states congress is an instance of legislative organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2037-2037 | The range of legislature is an instance of legislative organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1987-1987 | Legislative chamber is a subclass of legislative organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1942-1942 | 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 1930-1935 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1937-1939 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2013-2015 |
|