|
|
  UnitedStatesCongress
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1914-1914 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6939-6939 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8151-8151 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8152-8152 | |
| 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 1913-1913 | United states congress is a part of the organization the government of united states |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4780-4780 | United states house of representatives is a part of united states congress |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4787-4787 | United states senate is a part of united states congress |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60352-60352 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60351-60351 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60350-60350 |
|
|
|
