RefugeeAssistance![]() ![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8680-8680 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9589-9589 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2735-2735 | RefugeeAssistance e' um sub-atributo de EmigrationAndImmigrationIssues |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2734-2734 | RefugeeAssistance e' um sub-atributo de HumanitarianAssistance |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4022-4022 | organizationalObjective UnitedNationsHighCommissionerForRefugees and RefugeeAssistance |
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. | domainEnglishFormat.kif 49202-49202 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49201-49201 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49200-49200 |
![]() |
![]() |