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	Die Zahl 1 Argument von CitizenryFn ist ein fall von GeopoliticalArea %n{nicht}
(instance CitizenryFn UnaryFunction)	Mid-level-ontology.kif 8038-8038	CitizenryFn ist ein fall von UnaryFunction %n{nicht}
(range CitizenryFn GroupOfPeople)	Mid-level-ontology.kif 8040-8040	bildbereich von CitizenryFn ist ein fall von GroupOfPeople {nicht}
(subrelation CitizenryFn ResidentFn)	Mid-level-ontology.kif 8037-8037	CitizenryFn ist eine teilrelation von ResidentFn

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

Wenn GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und Integer ist gleich die Zahl Faellen in CitizenryFn ** GeopoliticalArea %n{nicht} und ** Integer ist gleich die Zahl Faellen in ResidentFn ** GeopoliticalArea %n{nicht},
dann ** ** Integer ist groesserAlsOderGleich ** Integer %n{nicht}

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

Wenn Process ist ein fall von Immigrating %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht},
dann es gibt GeopoliticalArea und ** GeopoliticalArea um ** GeopoliticalArea ist ein fall von Nation %n{nicht} und ** ** GeopoliticalArea ist ein fall von Nation %n{nicht} und ** Process beginnet an ** GeopoliticalArea %n{nicht} und ** Process endet an ** ** GeopoliticalArea %n{nicht} und ** GeopoliticalArea ist gleich ** ** GeopoliticalArea nicht und ** AutonomousAgent ist ein Mitglied von CitizenryFn ** GeopoliticalArea %n{nicht} und ** AutonomousAgent ist ein Mitglied von CitizenryFn ** ** GeopoliticalArea nicht und ** Process hat Zweck von ** AutonomousAgent wohnt in ** ** GeopoliticalArea %n{nicht}

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

KB Term:			Term intersection

English Word: