ResidentFn |
appearance as argument number 1 |
(documentation ResidentFn EnglishLanguage "(ResidentFn ?AREA) denotes the GroupOfPeople who have their home in ?AREA.") | Mid-level-ontology.kif 8057-8058 | |
(domain ResidentFn 1 GeopoliticalArea) | Mid-level-ontology.kif 8055-8055 | |
(instance ResidentFn UnaryFunction) | Mid-level-ontology.kif 8054-8054 | |
(range ResidentFn GroupOfPeople) | Mid-level-ontology.kif 8056-8056 |
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 8064-8064 | |
(termFormat ChineseLanguage ResidentFn "居民") | domainEnglishFormat.kif 49630-49630 | |
(termFormat ChineseTraditionalLanguage ResidentFn "居民") | domainEnglishFormat.kif 49629-49629 | |
(termFormat EnglishLanguage ResidentFn "resident") | domainEnglishFormat.kif 49628-49628 |
antecedent |
(=> (and (instance ?AREA GeopoliticalArea) (equal ?CITIZENRY (CardinalityFn (CitizenryFn ?AREA))) (equal ?POPULATION (CardinalityFn (ResidentFn ?AREA)))) (greaterThanOrEqualTo ?POPULATION ?CITIZENRY)) |
Mid-level-ontology.kif 8072-8079 | |
(=> (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 1231-1237 | |
(=> (member ?PERSON (ResidentFn ?AREA)) (home ?PERSON ?AREA)) |
Mid-level-ontology.kif 8060-8062 |
consequent |