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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternallyDisplacedPerson
InternallyDisplacedPerson(internally displaced person)
internally_displaced_person, 国内流离失所者, 國內流離失所者

appearance as argument number 1
-------------------------


(documentation InternallyDisplacedPerson EnglishLanguage "Any person who has left their residence by reason of real or imagined danger but has not left the territory of their own country.") MilitaryPersons.kif 83-85
(externalImage InternallyDisplacedPerson "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 11/ Tailor_Lebuje_camp%2C_Uganda.jpg") pictureList.kif 6633-6633 "http://upload.wikimedia.org/wikipedia/commons/1/11/ Tailor_Lebuje_camp%2C_Uganda.jpg" is a URL depicting internally displaced person
(instance InternallyDisplacedPerson SocialRole) MilitaryPersons.kif 80-80 Internally displaced person is an instance of social role
(subAttribute InternallyDisplacedPerson DislocatedCivilian) MilitaryPersons.kif 81-81 Internally displaced person is a subattribute of dislocated civilian

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


(termFormat ChineseLanguage InternallyDisplacedPerson "国内流离失所者") domainEnglishFormat.kif 30379-30379 "国内流离失所者" is the printable form of internally displaced person in ChineseLanguage
(termFormat ChineseTraditionalLanguage InternallyDisplacedPerson "國內流離失所者") domainEnglishFormat.kif 30378-30378 "國內流離失所者" is the printable form of internally displaced person in ChineseTraditionalLanguage
(termFormat EnglishLanguage InternallyDisplacedPerson "internally displaced person") domainEnglishFormat.kif 30377-30377 "internally displaced person" is the printable form of internally displaced person in english language

antecedent
-------------------------


(=>
    (and
        (holdsDuring ?T1
            (attribute ?P InternallyDisplacedPerson))
        (instance ?T1 TimeInterval))
    (exists (?SITUATION)
        (and
            (earlier ?T0 ?T1)
            (causesProposition
                (holdsDuring ?T0
                    (fears ?P ?SITUATION))
                (holdsDuring ?T1
                    (attribute ?P InternallyDisplacedPerson))))))
MilitaryPersons.kif 101-111
(=>
    (holdsDuring ?T1
        (and
            (attribute ?P InternallyDisplacedPerson)
            (inhabits ?P ?RES)
            (located ?RES ?PLACE)
            (citizen ?P ?NATION)))
    (partlyLocated ?PLACE ?NATION))
MilitaryPersons.kif 92-99

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


(=>
    (and
        (holdsDuring ?T1
            (attribute ?P InternallyDisplacedPerson))
        (instance ?T1 TimeInterval))
    (exists (?SITUATION)
        (and
            (earlier ?T0 ?T1)
            (causesProposition
                (holdsDuring ?T0
                    (fears ?P ?SITUATION))
                (holdsDuring ?T1
                    (attribute ?P InternallyDisplacedPerson))))))
MilitaryPersons.kif 101-111


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