DislocatedCivilian - Sigma Knowledge base Browser

appearance as argument number 1

(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
(externalImage DislocatedCivilian "http://upload.wikimedia.org/wikipedia/ commons/ f/ f0/ Rwandan_refugee_camp_in_east_Zaire.jpg")	pictureList.kif 8452-8452
(externalImage DislocatedCivilian "http://upload.wikimedia.org/wikipedia/ commons/ f/ f5/ Evstafiev_travnik_refugees.jpg")	pictureList.kif 9152-9152
(subAttribute DislocatedCivilian Civilian)	MilitaryPersons.kif 18-18	DislocatedCivilian is a subattribute of Civilian

appearance as argument number 2

(subAttribute DisplacedPerson DislocatedCivilian)	MilitaryPersons.kif 55-55	DisplacedPerson is a subattribute of DislocatedCivilian
(subAttribute Evacuee DislocatedCivilian)	MilitaryPersons.kif 114-114	Evacuee is a subattribute of DislocatedCivilian
(subAttribute Expellee DislocatedCivilian)	MilitaryPersons.kif 143-143	Expellee is a subattribute of DislocatedCivilian
(subAttribute InternallyDisplacedPerson DislocatedCivilian)	MilitaryPersons.kif 81-81	InternallyDisplacedPerson is a subattribute of DislocatedCivilian
(subAttribute Migrant DislocatedCivilian)	MilitaryPersons.kif 170-170	Migrant is a subattribute of DislocatedCivilian
(subAttribute Refugee DislocatedCivilian)	MilitaryPersons.kif 178-178	Refugee is a subattribute of DislocatedCivilian
(subAttribute StatelessPerson DislocatedCivilian)	MilitaryPersons.kif 186-186	StatelessPerson is a subattribute of DislocatedCivilian
(termFormat ChineseLanguage DislocatedCivilian "平民流离失所")	domainEnglishFormat.kif 19881-19881	StatelessPerson is a subattribute of DislocatedCivilian
(termFormat ChineseTraditionalLanguage DislocatedCivilian "平民流離失所")	domainEnglishFormat.kif 19880-19880	StatelessPerson is a subattribute of DislocatedCivilian
(termFormat EnglishLanguage DislocatedCivilian "dislocated civilian")	domainEnglishFormat.kif 19879-19879	StatelessPerson is a subattribute of DislocatedCivilian

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 DislocatedCivilian is an attribute of an entity and the entity lives in another entity and the other entity is located at a geographic area holds during a time interval and the geographic area is an instance of geographic area and the time interval is an instance of time interval,
then there exist another time interval, a third entity_PLACE and the third entity_RES such that the other time interval is an instance of time interval and the other time interval happens earlier than the time interval and the third entity_RES is an instance of object and the third entity_PLACE is an instance of geopolitical area and the third entity_RES is located at the third entity_PLACE and equal the geographic area and the third entity_PLACE and equal the other entity and the third entity_RES and geographicSubregion the geographic area and the third entity_PLACE and geographicSubregion the third entity_PLACE and the geographic area and the entity lives in the third entity_RES holds during the other time interval

consequent

(=> (and (instance ?S SupportDC) (patient ?S ?P)) (attribute ?P DislocatedCivilian))	MilitaryProcesses.kif 1280-1284	If a process is an instance of SupportDC and an object is a patient of the process, then DislocatedCivilian is an attribute of the object
(=> (instance ?PERSON Human) (disapproves ?PERSON (attribute ?PERSON DislocatedCivilian)))	MilitaryPersons.kif 49-52	If a cognitive agent is an instance of human, then disapproves the cognitive agent and DislocatedCivilian is an attribute of the cognitive agent

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: