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 8068-8070
(domain CitizenryFn 1 GeopoliticalArea) Mid-level-ontology.kif 8066-8066 CitizenryFn の数値 1 引数は 地政学的地域instance では %n
(instance CitizenryFn UnaryFunction) Mid-level-ontology.kif 8065-8065 CitizenryFn1変数関数instance では %n
(range CitizenryFn GroupOfPeople) Mid-level-ontology.kif 8067-8067 CitizenryFnrangeGroupOfPeople のインスタンス では %n
(subrelation CitizenryFn ResidentFn) Mid-level-ontology.kif 8064-8064 CitizenryFnResidentFnsubrelation では %n

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

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


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