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 2699-2699 | RefugeeAssistance est un sous-attribut de EmigrationAndImmigrationIssues |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2698-2698 | RefugeeAssistance est un sous-attribut de HumanitarianAssistance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3986-3986 | organizationalObjective UnitedNationsHighCommissionerForRefugees and RefugeeAssistance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4115-4115 | organizationalObjective UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast and RefugeeAssistance |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49204-49204 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49203-49203 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49202-49202 |