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 | Le nombre 1 argument de CitizenryFn est une instance de secteur g�opolitique |
(instance CitizenryFn UnaryFunction) | Mid-level-ontology.kif 9205-9205 | CitizenryFn est une instance de function unaire |
(range CitizenryFn GroupOfPeople) | Mid-level-ontology.kif 9207-9207 | Le domaine de CitizenryFn est une instance de GroupOfPeople |
(subrelation CitizenryFn ResidentFn) | Mid-level-ontology.kif 9204-9204 | CitizenryFn est une sous-relation 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 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 |
![]() |
![]() |
![]() |