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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DislocatedCivilian
DislocatedCivilian

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 externalImage DislocatedCivilian and "http://upload.wikimedia.org/wikipedia/commons/f/f0/ Rwandan_refugee_camp_in_east_Zaire.jpg"
(externalImage DislocatedCivilian "http://upload.wikimedia.org/wikipedia/ commons/ f/ f5/ Evstafiev-travnik-refugees.jpg") pictureList.kif 9158-9158 externalImage DislocatedCivilian and "http://upload.wikimedia.org/wikipedia/commons/f/f5/ Evstafiev-travnik-refugees.jpg"
(subAttribute DislocatedCivilian Civilian) MilitaryPersons.kif 18-18 subAttribute DislocatedCivilian and Civilian

appearance as argument number 2
-------------------------


(subAttribute DisplacedPerson DislocatedCivilian) MilitaryPersons.kif 55-55 subAttribute DisplacedPerson and DislocatedCivilian
(subAttribute Evacuee DislocatedCivilian) MilitaryPersons.kif 114-114 subAttribute Evacuee and DislocatedCivilian
(subAttribute Expellee DislocatedCivilian) MilitaryPersons.kif 143-143 subAttribute Expellee and DislocatedCivilian
(subAttribute InternallyDisplacedPerson DislocatedCivilian) MilitaryPersons.kif 81-81 subAttribute InternallyDisplacedPerson and DislocatedCivilian
(subAttribute Migrant DislocatedCivilian) MilitaryPersons.kif 170-170 subAttribute Migrant and DislocatedCivilian
(subAttribute Refugee DislocatedCivilian) MilitaryPersons.kif 178-178 subAttribute Refugee and DislocatedCivilian
(subAttribute StatelessPerson DislocatedCivilian) MilitaryPersons.kif 186-186 subAttribute StatelessPerson and DislocatedCivilian
(termFormat ChineseLanguage DislocatedCivilian "平民流离失所") domainEnglishFormat.kif 19801-19801 termFormat ChineseLanguage, DislocatedCivilian and "平民流离失所"
(termFormat ChineseTraditionalLanguage DislocatedCivilian "平民流離失所") domainEnglishFormat.kif 19800-19800 termFormat ChineseTraditionalLanguage, DislocatedCivilian and "平民流離失所"
(termFormat EnglishLanguage DislocatedCivilian "dislocated civilian") domainEnglishFormat.kif 19799-19799 termFormat EnglishLanguage, DislocatedCivilian and "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

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


(=>
    (and
        (instance ?S SupportDC)
        (patient ?S ?P))
    (attribute ?P DislocatedCivilian))
MilitaryProcesses.kif 1279-1283
(=>
    (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