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 870-874 | |
(domain RegionalLawFn 1 GeopoliticalArea) | Government.kif 867-867 | The number 1 argument of regional law is an instance of geopolitical area |
(instance RegionalLawFn UnaryFunction) | Government.kif 866-866 | Regional law is an instance of unary function |
(range RegionalLawFn RegionalLaw) | Government.kif 868-868 | 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 49203-49203 | |
(termFormat ChineseTraditionalLanguage RegionalLawFn "區域法") | domainEnglishFormat.kif 49202-49202 | |
(termFormat EnglishLanguage RegionalLawFn "regional law") | domainEnglishFormat.kif 49201-49201 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |