TreeView 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 8040-8042
(domain CitizenryFn 1 GeopoliticalArea)	Mid-level-ontology.kif 8038-8038	CitizenryFn の数値 1 引数は地政学的地域の instance では %n
(instance CitizenryFn UnaryFunction)	Mid-level-ontology.kif 8037-8037	CitizenryFn は 1変数関数の instance では %n
(range CitizenryFn GroupOfPeople)	Mid-level-ontology.kif 8039-8039	CitizenryFn の range は GroupOfPeople のインスタンスでは %n
(subrelation CitizenryFn ResidentFn)	Mid-level-ontology.kif 8036-8036	CitizenryFn は ResidentFn の subrelation では %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 8044-8051

地政学的地域は地政学的地域の instance では %n 整数は CitizenryFn 地政学的地域の instances の数と equal では %n 整数は ResidentFn 地政学的地域の instances の数と equal では %n
整数は整数 greater では　%n

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

工程は Immigrating の instance では %n AutonomousAgent は工程の agent では %n
地政学的地域地政学的地域地政学的地域は国民の instance では %n 地政学的地域は国民の instance では %n 工程は地政学的地域から originates %n{ない} 工程は地政学的地域に ends %n{ない} 地政学的地域は地政学的地域と equal では AutonomousAgent は CitizenryFn 地政学的地域の member では %n AutonomousAgent は CitizenryFn 地政学的地域の member では工程は AutonomousAgent は地政学的地域に lives %n{ない} の目的 %n{ない}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: