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 | ResidentFn の数値 1 引数は 地政学的地域 の instance では %n |
(instance ResidentFn UnaryFunction) | Mid-level-ontology.kif 8027-8027 | ResidentFn は 1変数関数 の instance では %n |
(range ResidentFn GroupOfPeople) | Mid-level-ontology.kif 8029-8029 | ResidentFn の range は GroupOfPeople のインスタンス では %n |
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 | CitizenryFn は ResidentFn の subrelation では %n |
(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 |