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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternallyDisplacedPerson
  MalayLanguage

Sigma KEE - InternallyDisplacedPerson
InternallyDisplacedPerson(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 6632-6632
(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 30475-30475
(termFormat ChineseTraditionalLanguage InternallyDisplacedPerson "國內流離失所者") domainEnglishFormat.kif 30474-30474
(termFormat EnglishLanguage InternallyDisplacedPerson "internally displaced person") domainEnglishFormat.kif 30473-30473

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


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


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