| Expellee(expellee) | | expelled_civilian, expellee, 被驅逐, 被驱逐 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 145-149 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 142-142 | Expellee is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 143-143 | Expellee is a subattribute of dislocated civilian |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22729-22729 | "被驱逐" is the printable form of expellee in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22728-22728 | "被驅逐" is the printable form of expellee in ChineseTraditionalLanguage |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 677-677 | "expelled civilian" is the printable form of expellee in english language |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22727-22727 | "expellee" is the printable form of expellee in english language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 151-167 |
|
|
|
|