TreeView Knowledge Base Browser - DislocatedCivilian

appearance as argument number 1

(subAttribute DislocatedCivilian Civilian)	MilitaryPersons.kif 18-18	Dislocated civilian is a subattribute of civilian
(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	Dislocated civilian is a subattribute of civilian
(externalImage DislocatedCivilian "http://upload.wikimedia.org/wikipedia/ commons/ f/ f0/ Rwandan_refugee_camp_in_east_Zaire.jpg")	pictureList.kif 8452-8452	Dislocated civilian is a subattribute of civilian
(externalImage DislocatedCivilian "http://upload.wikimedia.org/wikipedia/ commons/ f/ f5/ Evstafiev_travnik_refugees.jpg")	pictureList.kif 9152-9152	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 InternallyDisplacedPerson DislocatedCivilian)	MilitaryPersons.kif 81-81	Internally displaced person is a subattribute of dislocated civilian
(subAttribute Evacuee DislocatedCivilian)	MilitaryPersons.kif 115-115	Evacuee is a subattribute of dislocated civilian
(subAttribute Expellee DislocatedCivilian)	MilitaryPersons.kif 146-146	Expellee is a subattribute of dislocated civilian
(subAttribute Migrant DislocatedCivilian)	MilitaryPersons.kif 173-173	Migrant is a subattribute of dislocated civilian
(subAttribute Refugee DislocatedCivilian)	MilitaryPersons.kif 181-181	Refugee is a subattribute of dislocated civilian
(subAttribute StatelessPerson DislocatedCivilian)	MilitaryPersons.kif 189-189	Stateless person is a subattribute of dislocated civilian
(termFormat EnglishLanguage DislocatedCivilian "dislocated civilian")	domainEnglishFormat.kif 19872-19872	Stateless person is a subattribute of dislocated civilian
(termFormat ChineseTraditionalLanguage DislocatedCivilian "平民流離失所")	domainEnglishFormat.kif 19873-19873	Stateless person is a subattribute of dislocated civilian
(termFormat ChineseLanguage DislocatedCivilian "平民流离失所")	domainEnglishFormat.kif 19874-19874	Stateless person is a subattribute of dislocated civilian

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 X, X lives in Y, and Y is located at Z holds during W, Z is an instance of geographic area, and W is an instance of timeframe, then All of the following hold: (1) there exist V, ?PRIOR_PLACE (2) ?PRIOR_RES such that V is an instance of timeframe (3) V happens earlier than W (4) ?PRIOR_RES is an instance of object (5) ?PRIOR_PLACE is an instance of geopolitical area (6) ?PRIOR_RES is located at ?PRIOR_PLACE (7) equal Z (8) ?PRIOR_PLACE (9) equal Y (10) ?PRIOR_RES (11) Z is not a geographic subregion of ?PRIOR_PLACE (12) ?PRIOR_PLACE is not a geographic subregion of Z (13) X lives in ?PRIOR_RES holds during V

consequent

(=> (instance ?PERSON Human) (disapproves ?PERSON (attribute ?PERSON DislocatedCivilian)))	MilitaryPersons.kif 49-52	If X is an instance of human, then dislocated civilian is an attribute of X is a disapproves of X
(=> (and (instance ?S SupportDC) (patient ?S ?P)) (attribute ?P DislocatedCivilian))	MilitaryProcesses.kif 1302-1306	If X is an instance of supportDC and Y is a patient of X, then dislocated civilian is an attribute of Y

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: