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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternallyDisplacedPerson

Sigma KEE - InternallyDisplacedPerson
InternallyDisplacedPerson

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
(subAttribute InternallyDisplacedPerson DislocatedCivilian) MilitaryPersons.kif 81-81

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