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 7783-7785
(domain CitizenryFn 1 GeopoliticalArea) Mid-level-ontology.kif 7781-7781
(instance CitizenryFn UnaryFunction) Mid-level-ontology.kif 7780-7780
(range CitizenryFn GroupOfPeople) Mid-level-ontology.kif 7782-7782
(subrelation CitizenryFn ResidentFn) Mid-level-ontology.kif 7779-7779

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 14833-14833
(termFormat ChineseTraditionalLanguage CitizenryFn "公民") domainEnglishFormat.kif 14832-14832
(termFormat EnglishLanguage CitizenryFn "citizenry") domainEnglishFormat.kif 14831-14831

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


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

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