TreeView Knowledge Base Browser

appearance as argument number 1

(instance Evacuee SocialRole)	MilitaryPersons.kif 114-114	Evacuee is an instance of social role
(subAttribute Evacuee DislocatedCivilian)	MilitaryPersons.kif 115-115	Evacuee is a subattribute of dislocated civilian
(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 117-119	Evacuee is a subattribute of dislocated civilian

appearance as argument number 2

(termFormat EnglishLanguage Evacuee "evacuee")	domainEnglishFormat.kif 22621-22621
(termFormat ChineseTraditionalLanguage Evacuee "撤離者")	domainEnglishFormat.kif 22622-22622
(termFormat ChineseLanguage Evacuee "撤离者")	domainEnglishFormat.kif 22623-22623

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))))

If evacuee is an attribute of X holds during Y and Y is an instance of timeframe, then there exist Z, W such that Z is an instance of evacuating, W is an agent of Z, W is an instance of military organization, X experiences Z, and the time of existence of Z happens earlier than Y

consequent

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

If X is an instance of evacuating, Y is an agent of X, Y is an instance of military organization, and Z experiences X, then evacuee is an attribute of Z holds during immediately after the time of existence of X