InternallyDisplacedPerson - Sigma Knowledge base Browser

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

appearance as argument number 2

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

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	If internally displaced person is an attribute of an entity holds during a time interval and the time interval is an instance of time interval, then there exist another entity and another time interval such that the other time interval happens earlier than the time interval and internally displaced person is an attribute of the entity holds during the time interval is a causes proposition of the entity fears the other entity holds during the other time interval
(=> (holdsDuring ?T1 (and (attribute ?P InternallyDisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (partlyLocated ?PLACE ?NATION))	MilitaryPersons.kif 92-99	If internally displaced person is an attribute of an entity and the entity lives in another entity and the other entity is located at the entityLACE and the entity is a citizen of an object holds during a time position, then the entityLACE is partly located in the object

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