|
|
  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 e' um sub-atributo de EmigrationAndImmigrationIssues |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2698-2698 | 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 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 |
|
|
|
