|
|
  UnitedStatesCongress
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1950-1950 | |
| 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 1948-1948 | UnitedStatesCongress e' uma instancia de LegislativeOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1949-1949 | UnitedStatesCongress e' uma parte da organizacao o governo de UnitedStates |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4816-4816 | UnitedStatesHouseOfRepresentatives e' uma &parte de UnitedStatesCongress |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4823-4823 | UnitedStatesSenate e' uma &parte de UnitedStatesCongress |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60350-60350 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60349-60349 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60348-60348 |
|
|
|
