RegionalLawFn |
appearance as argument number 1 |
![]() |
(documentation RegionalLawFn EnglishLanguage "(RegionalLawFn ?AREA) denotes the laws pertaining in the GeopoliticalArea ?AREA that are established and enforced by the Government of ?AREA. For example, (RegionalLawFn UnitedStates) denotes the laws of the government of the UnitedStates and its constituent units.") | Government.kif 847-851 | |
(domain RegionalLawFn 1 GeopoliticalArea) | Government.kif 844-844 | Le nombre 1 argument de RegionalLawFn est une instance de secteur g�opolitique |
(instance RegionalLawFn UnaryFunction) | Government.kif 843-843 | RegionalLawFn est une instance de function unaire |
(range RegionalLawFn RegionalLaw) | Government.kif 845-845 | Le domaine de RegionalLawFn est une instance de RegionalLaw |
appearance as argument number 2 |
![]() |
(format ChineseLanguage RegionalLawFn "%1 的 regional 法律") | domainEnglishFormat.kif 2123-2123 | |
(format ChineseTraditionalLanguage RegionalLawFn "%1 的 regional 法律") | domainEnglishFormat.kif 2122-2122 | |
(format EnglishLanguage RegionalLawFn "the regional law of %1") | domainEnglishFormat.kif 2121-2121 | |
(termFormat ChineseLanguage RegionalLawFn "区域法") | domainEnglishFormat.kif 49224-49224 | |
(termFormat ChineseTraditionalLanguage RegionalLawFn "區域法") | domainEnglishFormat.kif 49223-49223 | |
(termFormat EnglishLanguage RegionalLawFn "regional law") | domainEnglishFormat.kif 49222-49222 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |