|
|
  InternationalLaborOrganization
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3542-3542 | dateEstablished InternationalLaborOrganization and o dia 28 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3546-3548 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5632-5632 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3539-3539 | InternationalLaborOrganization e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3543-3543 | organizationalObjective InternationalLaborOrganization and WorldLaborIssues |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3112-3112 | InternationalLaborOrganization e' uma parte da organizacao EconomicAndSocialCouncil |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3544-3544 | InternationalLaborOrganization e' uma parte da organizacao UnitedNations |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3541-3541 | abbreviation "ILO" and InternationalLaborOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3540-3540 | conventionalLongName "International Labor Organization" and InternationalLaborOrganization |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30619-30619 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30618-30618 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30617-30617 |
|
|
|
