CitizenryFn - Sigma Knowledge base Browser

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 8814-8816
(domain CitizenryFn 1 GeopoliticalArea)	Mid-level-ontology.kif 8812-8812	The number 1 argument of citizenry is an instance of geopolitical area
(instance CitizenryFn UnaryFunction)	Mid-level-ontology.kif 8811-8811	Citizenry is an instance of unary function
(range CitizenryFn GroupOfPeople)	Mid-level-ontology.kif 8813-8813	The range of citizenry is an instance of group of people
(subrelation CitizenryFn ResidentFn)	Mid-level-ontology.kif 8810-8810	Citizenry is a subrelation of resident

appearance as argument number 2

(format ChineseLanguage CitizenryFn "%1 的 citizenry")	domainEnglishFormat.kif 452-452
(format ChineseTraditionalLanguage CitizenryFn "%1 的 citizenry")	domainEnglishFormat.kif 451-451
(format EnglishLanguage CitizenryFn "the citizenry of %1")	domainEnglishFormat.kif 450-450
(termFormat ChineseLanguage CitizenryFn "公民")	domainEnglishFormat.kif 14907-14907
(termFormat ChineseTraditionalLanguage CitizenryFn "公民")	domainEnglishFormat.kif 14906-14906
(termFormat EnglishLanguage CitizenryFn "citizenry")	domainEnglishFormat.kif 14905-14905

antecedent

(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (equal ?CITIZENRY
            (CardinalityFn
                (CitizenryFn ?AREA)))
        (equal ?POPULATION
            (CardinalityFn
                (ResidentFn ?AREA))))
    (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))

Mid-level-ontology.kif 8818-8825

If a geopolitical area is an instance of geopolitical area and an integer is equal to the number of instances in the citizenry of the geopolitical area and another integer is equal to the number of instances in the resident of the geopolitical area,
then the other integer is greater than or equal to the integer

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

If a process is an instance of immigrating and an agent is an agent of the process,
then there exist a geopolitical area and another geopolitical area such that the geopolitical area is an instance of nation and the other geopolitical area is an instance of nation and the process originates at the geopolitical area and the process ends up at the other geopolitical area and the geopolitical area is not equal to the other geopolitical area and the agent is a member of the citizenry of the geopolitical area and the agent is not a member of the citizenry of the other geopolitical area and the process has the purpose the agent lives in the other geopolitical area

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: