|
|
  HostReady
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3443-3443 | The month December is a date established of international confederation of free trade unions |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3440-3440 | International confederation of free trade unions is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3444-3444 | Promote trade unionism is an organizational objective of international confederation of free trade unions |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3442-3442 | "ICFTU" is an abbreviation of international confederation of free trade unions |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3441-3441 | International confederation of free trade unions is a conventional long name of "International Confederation of Free Trade Unions" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30541-30541 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30540-30540 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30539-30539 |
|
|
|