InternationalLaborOrganization
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3542-3542 | dateEstablished InternationalLaborOrganization and le jour 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 est une instance 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 est une partie de l'organization EconomicAndSocialCouncil |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3544-3544 | 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 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 |