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 9208-9210 | |
(domain CitizenryFn 1 GeopoliticalArea) | Mid-level-ontology.kif 9206-9206 | 域 公民, 1 and GeopoliticalArea |
(instance CitizenryFn UnaryFunction) | Mid-level-ontology.kif 9205-9205 | 例 公民 and UnaryFunction |
(range CitizenryFn GroupOfPeople) | Mid-level-ontology.kif 9207-9207 | 範圍 公民 and 一群人 |
(subrelation CitizenryFn ResidentFn) | Mid-level-ontology.kif 9204-9204 | 子關係 公民 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 14901-14901 | |
(termFormat ChineseTraditionalLanguage CitizenryFn "公民") | domainEnglishFormat.kif 14900-14900 | |
(termFormat EnglishLanguage CitizenryFn "citizenry") | domainEnglishFormat.kif 14899-14899 |
antecedent |
![]() |
(=> (and (instance ?AREA GeopoliticalArea) (equal ?CITIZENRY (CardinalityFn (CitizenryFn ?AREA))) (equal ?POPULATION (CardinalityFn (ResidentFn ?AREA)))) (greaterThanOrEqualTo ?POPULATION ?CITIZENRY)) |
Mid-level-ontology.kif 9212-9219 |
|
consequent |
![]() |
![]() |
![]() |