Expellee - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Expellee 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
(instance Expellee SocialRole)	MilitaryPersons.kif 142-142	Expellee is an instance of social role
(subAttribute Expellee DislocatedCivilian)	MilitaryPersons.kif 143-143	Expellee is a subattribute of dislocated civilian

appearance as argument number 2

(termFormat ChineseLanguage Expellee "被驱逐")	domainEnglishFormat.kif 22818-22818
(termFormat ChineseTraditionalLanguage Expellee "被驅逐")	domainEnglishFormat.kif 22817-22817
(termFormat EnglishLanguage Expellee "expelled civilian")	MilitaryPersons.kif 675-675
(termFormat EnglishLanguage Expellee "expellee")	domainEnglishFormat.kif 22816-22816

antecedent

(=>
    (and
        (holdsDuring ?T1
            (and
                (attribute ?P Expellee)
                (citizen ?P ?HOME-NATION)))
        (instance ?T1 TimeInterval))
    (exists (?TRANS ?NATION)
        (and
            (instance ?NATION Nation)
            (not
                (equal ?NATION ?HOME-NATION))
            (instance ?TRANS Translocation)
            (origin ?TRANS ?NATION)
            (patient ?TRANS ?P)
            (destination ?TRANS ?HOME-NATION)
            (temporalPart ?T1
                (WhenFn ?TRANS)))))

MilitaryPersons.kif 151-167

If expellee is an attribute of an entity and the entity is a citizen of another entity-NATION holds during a time position and the time position is an instance of time interval,
then there exist a process and an object such that the object is an instance of nation and the object is not equal to the other entity-NATION and the process is an instance of translocation and the process originates at the object and the entity is a patient of the process and the process ends up at the other entity-NATION and the time position is a part of the time of existence of the process

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: