No TPTP formula. May not be expressible in strict first order. |
Government.kif 3588-3588 |
移民和移民問題 是 國際移民組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2735-2735 |
子屬性 難民援助 and 移民和移民問題 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21930-21930 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21929-21929 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21928-21928 |
|