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 8041-8043
(domain CitizenryFn 1 GeopoliticalArea)	Mid-level-ontology.kif 8039-8039	域公民, 1 and GeopoliticalArea
(instance CitizenryFn UnaryFunction)	Mid-level-ontology.kif 8038-8038	例公民 and UnaryFunction
(range CitizenryFn GroupOfPeople)	Mid-level-ontology.kif 8040-8040	範圍公民 and 一群人
(subrelation CitizenryFn ResidentFn)	Mid-level-ontology.kif 8037-8037	子關係公民 and 居民

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

例 GeopoliticalArea and GeopoliticalArea 等於 Integer and 基數 GeopoliticalArea 的 citizenry 等於 Integer and 基數 GeopoliticalArea 的 resident
大於或等於 Integer and 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 17352-17368

例 Process and 移民 agent Process and AutonomousAgent
GeopoliticalArea GeopoliticalArea 例 GeopoliticalArea and Nation 例 GeopoliticalArea and Nation 起源 Process and GeopoliticalArea 目的地 Process and GeopoliticalArea 等於 GeopoliticalArea and GeopoliticalArea 會員 AutonomousAgent and GeopoliticalArea 的 citizenry 會員 AutonomousAgent and GeopoliticalArea 的 citizenry 有目的 Process and 棲息 AutonomousAgent and GeopoliticalArea

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

KB Term:			Term intersection

English Word: