ResidentFn |
appearance as argument number 1 |
![]() |
(documentation ResidentFn EnglishLanguage "(ResidentFn ?AREA) denotes the GroupOfPeople who have their home in ?AREA.") | Mid-level-ontology.kif 9219-9220 | |
(domain ResidentFn 1 GeopoliticalArea) | Mid-level-ontology.kif 9217-9217 | The number 1 argument of resident is an instance of geopolitical area |
(instance ResidentFn UnaryFunction) | Mid-level-ontology.kif 9216-9216 | Resident is an instance of unary function |
(range ResidentFn GroupOfPeople) | Mid-level-ontology.kif 9218-9218 | 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 9226-9226 | Citizenry is a subrelation of resident |
(termFormat ChineseLanguage ResidentFn "居民") | domainEnglishFormat.kif 49661-49661 | Citizenry is a subrelation of resident |
(termFormat ChineseTraditionalLanguage ResidentFn "居民") | domainEnglishFormat.kif 49660-49660 | Citizenry is a subrelation of resident |
(termFormat EnglishLanguage ResidentFn "resident") | domainEnglishFormat.kif 49659-49659 | Citizenry is a subrelation of resident |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |