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 8452-8452
(externalImage DislocatedCivilian "http://upload.wikimedia.org/wikipedia/ commons/ f/ f5/ Evstafiev_travnik_refugees.jpg") pictureList.kif 9152-9152
(subAttribute DislocatedCivilian Civilian) MilitaryPersons.kif 18-18 DislocatedCivilian est un sous-attribut de Civilian

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


(subAttribute DisplacedPerson DislocatedCivilian) MilitaryPersons.kif 55-55 DisplacedPerson est un sous-attribut de DislocatedCivilian
(subAttribute Evacuee DislocatedCivilian) MilitaryPersons.kif 114-114 Evacuee est un sous-attribut de DislocatedCivilian
(subAttribute Expellee DislocatedCivilian) MilitaryPersons.kif 143-143 Expellee est un sous-attribut de DislocatedCivilian
(subAttribute InternallyDisplacedPerson DislocatedCivilian) MilitaryPersons.kif 81-81 InternallyDisplacedPerson est un sous-attribut de DislocatedCivilian
(subAttribute Migrant DislocatedCivilian) MilitaryPersons.kif 170-170 Migrant est un sous-attribut de DislocatedCivilian
(subAttribute Refugee DislocatedCivilian) MilitaryPersons.kif 178-178 Refugee est un sous-attribut de DislocatedCivilian
(subAttribute StatelessPerson DislocatedCivilian) MilitaryPersons.kif 186-186 StatelessPerson est un sous-attribut de DislocatedCivilian
(termFormat ChineseLanguage DislocatedCivilian "平民流离失所") domainEnglishFormat.kif 19881-19881 StatelessPerson est un sous-attribut de DislocatedCivilian
(termFormat ChineseTraditionalLanguage DislocatedCivilian "平民流離失所") domainEnglishFormat.kif 19880-19880 StatelessPerson est un sous-attribut de DislocatedCivilian
(termFormat EnglishLanguage DislocatedCivilian "dislocated civilian") domainEnglishFormat.kif 19879-19879 StatelessPerson est un sous-attribut de DislocatedCivilian

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 1280-1284
(=>
    (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 3.0 is open source software produced by Articulate Software and its partners