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 8041-8043 | |
(domain CitizenryFn 1 GeopoliticalArea) | Mid-level-ontology.kif 8039-8039 | Il numero 1 argomenti di CitizenryFn è un istanza di AreaGeopolitica |
(instance CitizenryFn UnaryFunction) | Mid-level-ontology.kif 8038-8038 | CitizenryFn è un' istanza di FunzioneUnaria |
(range CitizenryFn GroupOfPeople) | Mid-level-ontology.kif 8040-8040 | rango di CitizenryFn è un'istanza di GroupOfPeople |
(subrelation CitizenryFn ResidentFn) | Mid-level-ontology.kif 8037-8037 | CitizenryFn è una sottorelazione di 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 |
|
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 |
|