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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CitizenryFn

Sigma KEE - CitizenryFn
CitizenryFn

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


(documentation CitizenryFn EnglishLanguage "(CitizenryFn ?AREA) denotes the GroupOfPeople who are legal and permanent residents of the GeopoliticalArea ?AREA.") Mid-level-ontology.kif 7782-7784
(domain CitizenryFn 1 GeopoliticalArea) Mid-level-ontology.kif 7780-7780
(instance CitizenryFn UnaryFunction) Mid-level-ontology.kif 7779-7779
(range CitizenryFn GroupOfPeople) Mid-level-ontology.kif 7781-7781
(subrelation CitizenryFn ResidentFn) Mid-level-ontology.kif 7778-7778

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


(format EnglishLanguage CitizenryFn "the citizenry of %1") domainEnglishFormat.kif 122-122
(termFormat EnglishLanguage CitizenryFn "citizenry") domainEnglishFormat.kif 2905-2905

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (equal ?CITIZENRY
            (CitizenryFn ?AREA))
        (equal ?POPULATION
            (ResidentFn ?AREA)))
    (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))
Mid-level-ontology.kif 7786-7791

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


(=>
    (and
        (instance ?I Immigrating)
        (agent ?I ?A))
    (exists (?N1 ?N2)
        (and
            (instance ?N1 Nation)
            (instance ?N2 Nation)
            (origin ?I ?N1)
            (destination ?I ?N2)
            (not
                (equal ?N1 ?N2))
            (member ?A
                (CitizenryFn ?N1))
            (not
                (member ?A
                    (CitizenryFn ?N2)))
            (hasPurpose ?I
                (inhabits ?A ?N2)))))
Mid-level-ontology.kif 14912-14928


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners