Evacuee - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Evacuee EnglishLanguage "A civilian removed from a place of residence for reasons of personal security or the requirements of the military situation. See also displaced person, expellee, refugee.")	MilitaryPersons.kif 116-118
(instance Evacuee SocialRole)	MilitaryPersons.kif 113-113	Evacuee is an instance of social role
(subAttribute Evacuee DislocatedCivilian)	MilitaryPersons.kif 114-114	Evacuee is a subattribute of dislocated civilian

appearance as argument number 2

(termFormat ChineseLanguage Evacuee "撤离者")	domainEnglishFormat.kif 22642-22642
(termFormat ChineseTraditionalLanguage Evacuee "撤離者")	domainEnglishFormat.kif 22641-22641
(termFormat EnglishLanguage Evacuee "evacuee")	domainEnglishFormat.kif 22640-22640

antecedent

(=>
    (and
        (holdsDuring ?T1
            (attribute ?P Evacuee))
        (instance ?T1 TimeInterval))
    (exists (?EV ?MIL)
        (and
            (instance ?EV Evacuation)
            (agent ?EV ?MIL)
            (instance ?MIL MilitaryOrganization)
            (experiencer ?EV ?P)
            (earlier
                (WhenFn ?EV) ?T1))))

MilitaryPersons.kif 120-131

consequent

(=>
    (and
        (instance ?EV Evacuation)
        (agent ?EV ?MIL)
        (instance ?MIL MilitaryOrganization)
        (experiencer ?EV ?P))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?EV))
        (attribute ?P Evacuee)))

MilitaryPersons.kif 133-140