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