ResidentFn |
appearance as argument number 1 |
![]() |
(documentation ResidentFn EnglishLanguage "(ResidentFn ?AREA) denotes the GroupOfPeople who have their home in ?AREA.") | Mid-level-ontology.kif 9197-9198 | |
(domain ResidentFn 1 GeopoliticalArea) | Mid-level-ontology.kif 9195-9195 | |
(instance ResidentFn UnaryFunction) | Mid-level-ontology.kif 9194-9194 | |
(range ResidentFn GroupOfPeople) | Mid-level-ontology.kif 9196-9196 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage ResidentFn "%1 的 resident ") | domainEnglishFormat.kif 2155-2155 | |
(format ChineseTraditionalLanguage ResidentFn "%1 的 resident ") | domainEnglishFormat.kif 2154-2154 | |
(format EnglishLanguage ResidentFn "the resident of %1") | domainEnglishFormat.kif 2153-2153 | |
(subrelation CitizenryFn ResidentFn) | Mid-level-ontology.kif 9204-9204 | |
(termFormat ChineseLanguage ResidentFn "居民") | domainEnglishFormat.kif 49632-49632 | |
(termFormat ChineseTraditionalLanguage ResidentFn "居民") | domainEnglishFormat.kif 49631-49631 | |
(termFormat EnglishLanguage ResidentFn "resident") | domainEnglishFormat.kif 49630-49630 |
antecedent |
![]() |
(=> (and (instance ?AREA GeopoliticalArea) (equal ?CITIZENRY (CardinalityFn (CitizenryFn ?AREA))) (equal ?POPULATION (CardinalityFn (ResidentFn ?AREA)))) (greaterThanOrEqualTo ?POPULATION ?CITIZENRY)) |
Mid-level-ontology.kif 9212-9219 | |
(=> (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 1229-1235 | |
(=> (member ?PERSON (ResidentFn ?AREA)) (home ?PERSON ?AREA)) |
Mid-level-ontology.kif 9200-9202 |
consequent |
![]() |
![]() |
![]() |