Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Expellee
Expellee(expellee)

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