ResidentFn |
appearance as argument number 1 |
![]() |
(documentation ResidentFn EnglishLanguage "(ResidentFn ?AREA) denotes the GroupOfPeople who have their home in ?AREA.") | Mid-level-ontology.kif 8803-8804 | |
(domain ResidentFn 1 GeopoliticalArea) | Mid-level-ontology.kif 8801-8801 | The number 1 argument of resident is an instance of geopolitical area |
(instance ResidentFn UnaryFunction) | Mid-level-ontology.kif 8800-8800 | Resident is an instance of unary function |
(range ResidentFn GroupOfPeople) | Mid-level-ontology.kif 8802-8802 | 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 8810-8810 | 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 |
![]() |
![]() |
![]() |