|
|
  CommonwealthOfNations
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2944-2944 | dateEstablished CommonwealthOfNations and le jour 31 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2940-2940 | CommonwealthOfNations est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2946-2946 | organizationalObjective CommonwealthOfNations and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2945-2945 | organizationalObjective CommonwealthOfNations and PoliticalCooperation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2943-2943 | abbreviation "C" and CommonwealthOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2941-2941 | conventionalLongName "Commonwealth of Nations" and CommonwealthOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2942-2942 | conventionalShortName "Commonwealth" and CommonwealthOfNations |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15996-15996 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15995-15995 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15994-15994 |
|
|
|