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 |
难民援助 是 移民和移民问题 的 subAttribute |
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 |
|