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 | The number 1 argument of resident is an instance of geopolitical area |
(instance ResidentFn UnaryFunction) | Mid-level-ontology.kif 9194-9194 | Resident is an instance of unary function |
(range ResidentFn GroupOfPeople) | Mid-level-ontology.kif 9196-9196 | The range of resident is an instance of group of people |
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 | Citizenry is a subrelation of resident |
(termFormat ChineseLanguage ResidentFn "居民") | domainEnglishFormat.kif 49632-49632 | Citizenry is a subrelation of resident |
(termFormat ChineseTraditionalLanguage ResidentFn "居民") | domainEnglishFormat.kif 49631-49631 | Citizenry is a subrelation of resident |
(termFormat EnglishLanguage ResidentFn "resident") | domainEnglishFormat.kif 49630-49630 | Citizenry is a subrelation of resident |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |