| appearance as argument number 1 |
|
| s__documentation(s__Expellee,s__EnglishLanguage,'"A civilian outside the boundaries of the country of his or her nationality or ethnic origin who is being forcibly repatriated to that country or to a third country for political or other purposes. See also displaced person, evacuee; refugee."')
|
MilitaryPersons.kif 145-149 | |
| s__instance(s__Expellee,s__SocialRole) s__instance(s__SocialRole,s__SetOrClass)
|
MilitaryPersons.kif 142-142 | Expellee is an instance of social role |
| s__subAttribute(s__Expellee,s__DislocatedCivilian)
|
MilitaryPersons.kif 143-143 | Expellee is a subattribute of dislocated civilian |
| appearance as argument number 2 |
|
|
| s__termFormat(s__ChineseLanguage,s__Expellee,'"被驱逐"')
|
domainEnglishFormat.kif 22723-22723 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__Expellee,'"被驅逐"')
|
domainEnglishFormat.kif 22722-22722 | |
| s__termFormat(s__EnglishLanguage,s__Expellee,'"expelled civilian"')
|
MilitaryPersons.kif 675-675 | |
| s__termFormat(s__EnglishLanguage,s__Expellee,'"expellee"')
|
domainEnglishFormat.kif 22721-22721 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 151-167 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners