| DislocatedCivilian(dislocated civilian)
|
| appearance as argument number 1 |
|
| (subAttribute DislocatedCivilian Civilian) | MilitaryPersons.kif 18-18 | Dislocated civilian is a subattribute of civilian |
| (documentation DislocatedCivilian EnglishLanguage "A broad term that includes a displaced person, an evacuee, an expellee, an internally displaced person, a migrant, a refugee, or a stateless person. Also called DC. See also displaced person, evacuee, expellee, internally displaced person, migrant, refugee, stateless person.") | MilitaryPersons.kif 20-24 | Dislocated civilian is a subattribute of civilian |
| (externalImage DislocatedCivilian "http://upload.wikimedia.org/wikipedia/ commons/ f/ f0/ Rwandan_refugee_camp_in_east_Zaire.jpg") | pictureList.kif 8452-8452 | Dislocated civilian is a subattribute of civilian |
| (externalImage DislocatedCivilian "http://upload.wikimedia.org/wikipedia/ commons/ f/ f5/ Evstafiev_travnik_refugees.jpg") | pictureList.kif 9152-9152 | Dislocated civilian is a subattribute of civilian |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (holdsDuring ?T1 (and (attribute ?PERSON DislocatedCivilian) (inhabits ?PERSON ?RESIDENCE) (located ?RESIDENCE ?PLACE))) (instance ?PLACE GeographicArea) (instance ?T1 TimeInterval)) (exists (?T0 ?PRIOR_PLACE ?PRIOR_RES) (and (instance ?T0 TimeInterval) (earlier ?T0 ?T1) (instance ?PRIOR_RES Object) (instance ?PRIOR_PLACE GeopoliticalArea) (located ?PRIOR_RES ?PRIOR_PLACE) (not (equal ?PLACE ?PRIOR_PLACE)) (not (equal ?RESIDENCE ?PRIOR_RES)) (not (geographicSubregion ?PLACE ?PRIOR_PLACE)) (not (geographicSubregion ?PRIOR_PLACE ?PLACE)) (holdsDuring ?T0 (inhabits ?PERSON ?PRIOR_RES))))) |
MilitaryPersons.kif 26-47 | If dislocated civilian is an attribute of X, X lives in Y, and Y is located at Z holds during W, Z is an instance of geographic area, and W is an instance of timeframe, then All of the following hold: (1) there exist V, ?PRIOR_PLACE (2) ?PRIOR_RES such that V is an instance of timeframe (3) V happens earlier than W (4) ?PRIOR_RES is an instance of object (5) ?PRIOR_PLACE is an instance of geopolitical area (6) ?PRIOR_RES is located at ?PRIOR_PLACE (7) equal Z (8) ?PRIOR_PLACE (9) equal Y (10) ?PRIOR_RES (11) Z is not a geographic subregion of ?PRIOR_PLACE (12) ?PRIOR_PLACE is not a geographic subregion of Z (13) X lives in ?PRIOR_RES holds during V |
| consequent |
|
|
| (=> (instance ?PERSON Human) (disapproves ?PERSON (attribute ?PERSON DislocatedCivilian))) |
MilitaryPersons.kif 49-52 | If X is an instance of human, then dislocated civilian is an attribute of X is a disapproves of X |
| (=> (and (instance ?S SupportDC) (patient ?S ?P)) (attribute ?P DislocatedCivilian)) |
MilitaryProcesses.kif 1299-1303 | If X is an instance of supportDC and Y is a patient of X, then dislocated civilian is an attribute of Y |
|
|
|