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 885-889 | |
(domain RegionalLawFn 1 GeopoliticalArea) | Government.kif 882-882 | Le nombre 1 argument de RegionalLawFn est une instance de secteur g�opolitique |
(instance RegionalLawFn UnaryFunction) | Government.kif 881-881 | RegionalLawFn est une instance de function unaire |
(range RegionalLawFn RegionalLaw) | Government.kif 883-883 | Le domaine de RegionalLawFn est une instance de RegionalLaw |
appearance as argument number 2 |
(format ChineseLanguage RegionalLawFn "%1 的 regional 法律") | domainEnglishFormat.kif 2119-2119 | |
(format ChineseTraditionalLanguage RegionalLawFn "%1 的 regional 法律") | domainEnglishFormat.kif 2118-2118 | |
(format EnglishLanguage RegionalLawFn "the regional law of %1") | domainEnglishFormat.kif 2117-2117 | |
(termFormat ChineseLanguage RegionalLawFn "区域法") | domainEnglishFormat.kif 49220-49220 | |
(termFormat ChineseTraditionalLanguage RegionalLawFn "區域法") | domainEnglishFormat.kif 49219-49219 | |
(termFormat EnglishLanguage RegionalLawFn "regional law") | domainEnglishFormat.kif 49218-49218 |
antecedent |
consequent |