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 | Die Zahl 1 Argument von RegionalLawFn ist ein fall von GeopoliticalArea %n{nicht} |
(instance RegionalLawFn UnaryFunction) | Government.kif 881-881 | RegionalLawFn ist ein fall von UnaryFunction %n{nicht} |
(range RegionalLawFn RegionalLaw) | Government.kif 883-883 | bildbereich von RegionalLawFn ist ein fall von RegionalLaw {nicht} |
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 |