|
|
  InternationalLaborOrganization
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3506-3506 | dateEstablished InternationalLaborOrganization and le jour 28 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3510-3512 | |
| 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 3503-3503 | InternationalLaborOrganization est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3507-3507 | organizationalObjective InternationalLaborOrganization and WorldLaborIssues |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3076-3076 | InternationalLaborOrganization est une partie de l'organization EconomicAndSocialCouncil |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3508-3508 | InternationalLaborOrganization est une partie de l'organization UnitedNations |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3505-3505 | abbreviation "ILO" and InternationalLaborOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3504-3504 | 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 |
|
|
|
