No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 55-55 |
流离失所者 是 平民流离失所 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 114-114 |
撤离者 是 平民流离失所 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 143-143 |
被驱逐 是 平民流离失所 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 81-81 |
国内流离失所者 是 平民流离失所 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 170-170 |
移民 是 平民流离失所 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 178-178 |
难民 是 平民流离失所 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 186-186 |
无国籍人 是 平民流离失所 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19872-19872 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19871-19871 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19870-19870 |
|