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 8453-8453
(externalImage DislocatedCivilian "http://upload.wikimedia.org/wikipedia/ commons/ f/ f5/ Evstafiev-travnik-refugees.jpg")	pictureList.kif 9153-9153
(subAttribute DislocatedCivilian Civilian)	MilitaryPersons.kif 18-18	Dislocated civilian is a subattribute of civilian

appearance as argument number 2

(subAttribute DisplacedPerson DislocatedCivilian)	MilitaryPersons.kif 55-55	Displaced person is a subattribute of dislocated civilian
(subAttribute Evacuee DislocatedCivilian)	MilitaryPersons.kif 114-114	Evacuee is a subattribute of dislocated civilian
(subAttribute Expellee DislocatedCivilian)	MilitaryPersons.kif 143-143	Expellee is a subattribute of dislocated civilian
(subAttribute InternallyDisplacedPerson DislocatedCivilian)	MilitaryPersons.kif 81-81	Internally displaced person is a subattribute of dislocated civilian
(subAttribute Migrant DislocatedCivilian)	MilitaryPersons.kif 170-170	Migrant is a subattribute of dislocated civilian
(subAttribute Refugee DislocatedCivilian)	MilitaryPersons.kif 178-178	Refugee is a subattribute of dislocated civilian
(subAttribute StatelessPerson DislocatedCivilian)	MilitaryPersons.kif 186-186	Stateless person is a subattribute of dislocated civilian
(termFormat ChineseLanguage DislocatedCivilian "平民流离失所")	domainEnglishFormat.kif 19872-19872
(termFormat ChineseTraditionalLanguage DislocatedCivilian "平民流離失所")	domainEnglishFormat.kif 19871-19871
(termFormat EnglishLanguage DislocatedCivilian "dislocated civilian")	domainEnglishFormat.kif 19870-19870

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 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 the geographic area is not equal to the third entity-PLACE and the other entity is not equal to the third entity-RES and the geographic area is not a geographic subregion of the third entity-PLACE and the third entity-PLACE is not a geographic subregion of 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 dislocated civilian 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 dislocated civilian is an attribute of the cognitive agent is a disapproves 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: