TreeView Knowledge Base Browser - InternallyDisplacedPerson

appearance as argument number 1

(instance InternallyDisplacedPerson SocialRole)	MilitaryPersons.kif 80-80	Internally displaced person is an instance of social role
(subAttribute InternallyDisplacedPerson DislocatedCivilian)	MilitaryPersons.kif 81-81	Internally displaced person is a subattribute of dislocated civilian
(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	Internally displaced person is a subattribute of dislocated civilian
(externalImage InternallyDisplacedPerson "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 11/ Tailor_Lebuje_camp%2C_Uganda.jpg")	pictureList.kif 6631-6631	Internally displaced person is a subattribute of dislocated civilian

appearance as argument number 2

(termFormat EnglishLanguage InternallyDisplacedPerson "internally displaced person")	domainEnglishFormat.kif 30477-30477
(termFormat ChineseTraditionalLanguage InternallyDisplacedPerson "國內流離失所者")	domainEnglishFormat.kif 30478-30478
(termFormat ChineseLanguage InternallyDisplacedPerson "国内流离失所者")	domainEnglishFormat.kif 30479-30479

antecedent

(=>
    (holdsDuring ?T1
        (and
            (attribute ?P InternallyDisplacedPerson)
            (inhabits ?P ?RES)
            (located ?RES ?PLACE)
            (citizen ?P ?NATION)))
    (partlyLocated ?PLACE ?NATION))

If internally displaced person is an attribute of X, X lives in Y, Y is located at Z, and X is a citizen of W holds during V, then Z is partly located in W