ResidentFn |
appearance as argument number 1 |
(documentation ResidentFn EnglishLanguage "(ResidentFn ?AREA) denotes the GroupOfPeople who have their home in ?AREA.") | Mid-level-ontology.kif 8030-8031 | |
(domain ResidentFn 1 GeopoliticalArea) | Mid-level-ontology.kif 8028-8028 | |
(instance ResidentFn UnaryFunction) | Mid-level-ontology.kif 8027-8027 | |
(range ResidentFn GroupOfPeople) | Mid-level-ontology.kif 8029-8029 |
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 8037-8037 | |
(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 8045-8052 | |
(=> (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 8033-8035 |
consequent |