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 849-853 | |
(domain RegionalLawFn 1 GeopoliticalArea) | Government.kif 846-846 | RegionalLawFn の数値 1 引数は 地政学的地域 の instance では %n |
(instance RegionalLawFn UnaryFunction) | Government.kif 845-845 | RegionalLawFn は 1変数関数 の instance では %n |
(range RegionalLawFn RegionalLaw) | Government.kif 847-847 | RegionalLawFn の range は RegionalLaw のインスタンス では %n |
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 49222-49222 | |
(termFormat ChineseTraditionalLanguage RegionalLawFn "區域法") | domainEnglishFormat.kif 49221-49221 | |
(termFormat EnglishLanguage RegionalLawFn "regional law") | domainEnglishFormat.kif 49220-49220 |
antecedent |
consequent |