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 8041-8043
(domain CitizenryFn 1 GeopoliticalArea) Mid-level-ontology.kif 8039-8039 公民 的 1 数量 是 地缘政治区域instance
(instance CitizenryFn UnaryFunction) Mid-level-ontology.kif 8038-8038 公民一元函数instance
(range CitizenryFn GroupOfPeople) Mid-level-ontology.kif 8040-8040 公民range一群人 的实例
(subrelation CitizenryFn ResidentFn) Mid-level-ontology.kif 8037-8037 公民居民subrelation

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 14892-14892
(termFormat ChineseTraditionalLanguage CitizenryFn "公民") domainEnglishFormat.kif 14891-14891
(termFormat EnglishLanguage CitizenryFn "citizenry") domainEnglishFormat.kif 14890-14890

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


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

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


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