|
|
  InternallyDisplacedPerson
|
|
|
| appearance as argument number 1 |
|
|
| (documentation InternallyDisplacedPerson EnglishLanguage "Any person who has left their residence by reason of real or imagined danger but has not left the territory of their own country.") | MilitaryPersons.kif 83-85 | |
| (externalImage InternallyDisplacedPerson "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 11/ Tailor_Lebuje_camp%2C_Uganda.jpg") | pictureList.kif 6632-6632 | |
| (instance InternallyDisplacedPerson SocialRole) | MilitaryPersons.kif 80-80 | |
| (subAttribute InternallyDisplacedPerson DislocatedCivilian) | MilitaryPersons.kif 81-81 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage InternallyDisplacedPerson "国内流离失所者") | domainEnglishFormat.kif 30475-30475 | |
| (termFormat ChineseTraditionalLanguage InternallyDisplacedPerson "國內流離失所者") | domainEnglishFormat.kif 30474-30474 | |
| (termFormat EnglishLanguage InternallyDisplacedPerson "internally displaced person") | domainEnglishFormat.kif 30473-30473 |
| antecedent |
|
|
| (=> (and (holdsDuring ?T1 (attribute ?P InternallyDisplacedPerson)) (instance ?T1 TimeInterval)) (exists (?SITUATION ?T0) (and (earlier ?T0 ?T1) (causesProposition (holdsDuring ?T0 (fears ?P ?SITUATION)) (holdsDuring ?T1 (attribute ?P InternallyDisplacedPerson)))))) |
MilitaryPersons.kif 101-111 | |
| (=> (holdsDuring ?T1 (and (attribute ?P InternallyDisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (partlyLocated ?PLACE ?NATION)) |
MilitaryPersons.kif 92-99 |
| consequent |
|
|
| (=> (and (holdsDuring ?T1 (attribute ?P InternallyDisplacedPerson)) (instance ?T1 TimeInterval)) (exists (?SITUATION ?T0) (and (earlier ?T0 ?T1) (causesProposition (holdsDuring ?T0 (fears ?P ?SITUATION)) (holdsDuring ?T1 (attribute ?P InternallyDisplacedPerson)))))) |
MilitaryPersons.kif 101-111 |
|
|
|
