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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of citizenry is an instance of geopolitical area
(instance CitizenryFn UnaryFunction) Mid-level-ontology.kif 7779-7779 Citizenry is an instance of unary function
(range CitizenryFn GroupOfPeople) Mid-level-ontology.kif 7781-7781 The range of citizenry is an instance of group of people
(subrelation CitizenryFn ResidentFn) Mid-level-ontology.kif 7778-7778 Citizenry is a subrelation of resident

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


(format EnglishLanguage CitizenryFn "the citizenry of %1") domainEnglishFormat.kif 122-122
(termFormat EnglishLanguage CitizenryFn "citizenry") domainEnglishFormat.kif 2905-2905 "citizenry" is the printable form of citizenry in english language

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 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