![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4150-4150 | dateEstablished UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast and le jour 8 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4147-4147 | UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast est une instance de OrganizationOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4151-4151 | organizationalObjective UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast and RefugeeAssistance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3955-3955 | UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast est une partie de l'organization UnitedNationsGeneralAssembly |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4149-4149 | abbreviation "UNRWA" and UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4148-4148 | conventionalLongName "United Nations Relief and Works Agency for Palestine Refugees in the Near East" and UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60278-60278 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60277-60277 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60276-60276 |
![]() |
![]() |