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	O argumento numero 1 de CitizenryFn e' uma instancia de Area Geopolitica
(instance CitizenryFn UnaryFunction)	Mid-level-ontology.kif 8037-8037	CitizenryFn e' uma instancia de funcao Unaria
(range CitizenryFn GroupOfPeople)	Mid-level-ontology.kif 8039-8039	O contra-dominio de CitizenryFn e' uma instancia de GroupOfPeople
(subrelation CitizenryFn ResidentFn)	Mid-level-ontology.kif 8036-8036	CitizenryFn e' uma sub-relacao de 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 8044-8051

Area Geopolitica e' uma instancia de Area Geopolitica Numero Inteiro e' igual a o numero de instancias dentro de CitizenryFn Area Geopolitica Numero Inteiro e' igual a o numero de instancias dentro de ResidentFn Area Geopolitica
Numero Inteiro e' maior ou igual a Numero Inteiro

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

Processo e' uma instancia de Immigrating Processo e' um agente de AutonomousAgent
Area Geopolitica Area Geopolitica Area Geopolitica e' uma instancia de Nacao Area Geopolitica e' uma instancia de Nacao Processo tem como origem Area Geopolitica Processo termina em Area Geopolitica Area Geopolitica e' igual a Area Geopolitica AutonomousAgent e' membro de CitizenryFn Area Geopolitica AutonomousAgent e' membro de CitizenryFn Area Geopolitica Processo tem por fim AutonomousAgent vive em Area Geopolitica

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

KB Term:			Term intersection

English Word: