ResidentFn |
appearance as argument number 1 |
![]() |
(documentation ResidentFn EnglishLanguage "(ResidentFn ?AREA) denotes the GroupOfPeople who have their home in ?AREA.") | Mid-level-ontology.kif 7772-7773 | |
(domain ResidentFn 1 GeopoliticalArea) | Mid-level-ontology.kif 7770-7770 | |
(instance ResidentFn UnaryFunction) | Mid-level-ontology.kif 7769-7769 | |
(range ResidentFn GroupOfPeople) | Mid-level-ontology.kif 7771-7771 |
appearance as argument number 2 |
![]() |
(format EnglishLanguage ResidentFn "the resident of %1") | domainEnglishFormat.kif 2149-2149 | |
(subrelation CitizenryFn ResidentFn) | Mid-level-ontology.kif 7779-7779 | |
(termFormat ChineseLanguage ResidentFn "居民") | domainEnglishFormat.kif 49567-49567 | |
(termFormat ChineseTraditionalLanguage ResidentFn "居民") | domainEnglishFormat.kif 49566-49566 | |
(termFormat EnglishLanguage ResidentFn "resident") | domainEnglishFormat.kif 49565-49565 |
antecedent |
![]() |
(=> (and (instance ?AREA GeopoliticalArea) (equal ?CITIZENRY (CitizenryFn ?AREA)) (equal ?POPULATION (ResidentFn ?AREA))) (greaterThanOrEqualTo ?POPULATION ?CITIZENRY)) |
Mid-level-ontology.kif 7787-7792 | |
(=> (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 1221-1227 | |
(=> (member ?PERSON (ResidentFn ?AREA)) (home ?PERSON ?AREA)) |
Mid-level-ontology.kif 7775-7777 |
consequent |
![]() |
![]() |
![]() |