Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DislocatedCivilian
DislocatedCivilian(dislocated civilian)
dislocated_civilian, 平民流离失所, 平民流離失所

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 8455-8455 "http://upload.wikimedia.org/wikipedia/commons/f/f0/ Rwandan_refugee_camp_in_east_Zaire.jpg" is a URL depicting dislocated civilian
(externalImage DislocatedCivilian "http://upload.wikimedia.org/wikipedia/ commons/ f/ f5/ Evstafiev-travnik-refugees.jpg") pictureList.kif 9158-9158 "http://upload.wikimedia.org/wikipedia/commons/f/f5/ Evstafiev-travnik-refugees.jpg" is a URL depicting dislocated civilian
(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 19801-19801 "平民流离失所" is the printable form of dislocated civilian in ChineseLanguage
(termFormat ChineseTraditionalLanguage DislocatedCivilian "平民流離失所") domainEnglishFormat.kif 19800-19800 "平民流離失所" is the printable form of dislocated civilian in ChineseTraditionalLanguage
(termFormat EnglishLanguage DislocatedCivilian "dislocated civilian") domainEnglishFormat.kif 19799-19799 "dislocated civilian" is the printable form of dislocated civilian in english language

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

consequent
-------------------------


(=>
    (and
        (instance ?S SupportDC)
        (patient ?S ?P))
    (attribute ?P DislocatedCivilian))
MilitaryProcesses.kif 1268-1272
(=>
    (instance ?PERSON Human)
    (disapproves ?PERSON
        (attribute ?PERSON DislocatedCivilian)))
MilitaryPersons.kif 49-52


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners