ResidentFn |
appearance as argument number 1 |
![]() |
(documentation ResidentFn EnglishLanguage "(ResidentFn ?AREA) denotes the GroupOfPeople who have their home in ?AREA.") | Mid-level-ontology.kif 8029-8030 | |
(domain ResidentFn 1 GeopoliticalArea) | Mid-level-ontology.kif 8027-8027 | |
(instance ResidentFn UnaryFunction) | Mid-level-ontology.kif 8026-8026 | |
(range ResidentFn GroupOfPeople) | Mid-level-ontology.kif 8028-8028 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage ResidentFn "%1 的 resident ") | domainEnglishFormat.kif 2151-2151 | |
(format ChineseTraditionalLanguage ResidentFn "%1 的 resident ") | domainEnglishFormat.kif 2150-2150 | |
(format EnglishLanguage ResidentFn "the resident of %1") | domainEnglishFormat.kif 2149-2149 | |
(subrelation CitizenryFn ResidentFn) | Mid-level-ontology.kif 8036-8036 | |
(termFormat ChineseLanguage ResidentFn "居民") | domainEnglishFormat.kif 49628-49628 | |
(termFormat ChineseTraditionalLanguage ResidentFn "居民") | domainEnglishFormat.kif 49627-49627 | |
(termFormat EnglishLanguage ResidentFn "resident") | domainEnglishFormat.kif 49626-49626 |
antecedent |
![]() |
(=> (and (instance ?AREA GeopoliticalArea) (equal ?CITIZENRY (CardinalityFn (CitizenryFn ?AREA))) (equal ?POPULATION (CardinalityFn (ResidentFn ?AREA)))) (greaterThanOrEqualTo ?POPULATION ?CITIZENRY)) |
Mid-level-ontology.kif 8044-8051 | |
(=> (and (instance ?UW UnconventionalWarfare) (agent ?UW ?AGENT) (not (equal ?AGENT ?POPULACE)) (not (equal ?AGENT (GovernmentFn ?NATION))) (patient ?UW ?POPULACE) (or (member ?POPULACE (ResidentFn ?NATION)) (subCollection ?POPULACE (ResidentFn ?NATION)))) (exists (?CONTEST) (and (instance ?CONTEST Contest) (agent ?CONTEST ?POPULACE) (agent ?CONTEST (GovernmentFn ?NATION))))) |
MilitaryProcesses.kif 163-183 | |
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?AREA)) (attribute ?AGENT Female) (member ?AGENT (ResidentFn ?AREA)) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT))) |
Government.kif 1267-1273 | |
(=> (member ?PERSON (ResidentFn ?AREA)) (home ?PERSON ?AREA)) |
Mid-level-ontology.kif 8032-8034 |
consequent |
![]() |
![]() |
![]() |