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 | The number 1 argument of regional law is an instance of geopolitical area |
(instance RegionalLawFn UnaryFunction) | Government.kif 881-881 | Regional law is an instance of unary function |
(range RegionalLawFn RegionalLaw) | Government.kif 883-883 | The range of regional law is an instance of regional law |
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 |