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 est un sous-attribut de EmigrationAndImmigrationIssues |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2734-2734 | 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 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 |