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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DislocatedCivilian

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

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


(subAttribute DisplacedPerson DislocatedCivilian) MilitaryPersons.kif 55-55
(subAttribute Evacuee DislocatedCivilian) MilitaryPersons.kif 114-114
(subAttribute Expellee DislocatedCivilian) MilitaryPersons.kif 143-143
(subAttribute InternallyDisplacedPerson DislocatedCivilian) MilitaryPersons.kif 81-81
(subAttribute Migrant DislocatedCivilian) MilitaryPersons.kif 170-170
(subAttribute Refugee DislocatedCivilian) MilitaryPersons.kif 178-178
(subAttribute StatelessPerson DislocatedCivilian) MilitaryPersons.kif 186-186
(termFormat EnglishLanguage DislocatedCivilian "dislocated civilian") domainEnglishFormat.kif 3733-3733

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