|
|
  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 | 子屬性 難民援助 and 移民和移民問題 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2698-2698 | 子屬性 難民援助 and 人道主義援助 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3986-3986 | 難民援助 是 聯合國難民署 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4115-4115 | 難民援助 是 聯合國近東巴勒斯坦難民救濟和工作機構 的 organizational 目標 |
| 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 |
|
|
|
