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

Formal Language: 



KB Term:  Term intersection
English Word: 

  muscleOrigin

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 8453-8453
(externalImage DislocatedCivilian "http://upload.wikimedia.org/wikipedia/ commons/ f/ f5/ Evstafiev-travnik-refugees.jpg") pictureList.kif 9153-9153
(subAttribute DislocatedCivilian Civilian) MilitaryPersons.kif 18-18 子屬性 平民流離失所 and 平民

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


(subAttribute DisplacedPerson DislocatedCivilian) MilitaryPersons.kif 55-55 子屬性 流離失所者 and 平民流離失所
(subAttribute Evacuee DislocatedCivilian) MilitaryPersons.kif 114-114 子屬性 撤離者 and 平民流離失所
(subAttribute Expellee DislocatedCivilian) MilitaryPersons.kif 143-143 子屬性 被驅逐 and 平民流離失所
(subAttribute InternallyDisplacedPerson DislocatedCivilian) MilitaryPersons.kif 81-81 子屬性 國內流離失所者 and 平民流離失所
(subAttribute Migrant DislocatedCivilian) MilitaryPersons.kif 170-170 子屬性 移民 and 平民流離失所
(subAttribute Refugee DislocatedCivilian) MilitaryPersons.kif 178-178 子屬性 難民 and 平民流離失所
(subAttribute StatelessPerson DislocatedCivilian) MilitaryPersons.kif 186-186 子屬性 無國籍人 and 平民流離失所
(termFormat ChineseLanguage DislocatedCivilian "平民流离失所") domainEnglishFormat.kif 19872-19872
(termFormat ChineseTraditionalLanguage DislocatedCivilian "平民流離失所") domainEnglishFormat.kif 19871-19871
(termFormat EnglishLanguage DislocatedCivilian "dislocated civilian") domainEnglishFormat.kif 19870-19870

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