RegionalLaw
|
|
appearance as argument number 1 |
(documentation RegionalLaw EnglishLanguage "RegionalLaw is the class of regional laws, considered as a body, established by particular Governments to regulate activities under their jurisdictions. For example, (RegionalLawFn UnitedStates) represents the content of the laws, statutes, and rulings of the United States.") | Government.kif 865-869 | |
(subclass RegionalLaw Proposition) | Government.kif 863-863 |
appearance as argument number 2 |
(range RegionalLawFn RegionalLaw) | Government.kif 883-883 | |
(termFormat ChineseLanguage RegionalLaw "区域法") | domainEnglishFormat.kif 49214-49214 | |
(termFormat ChineseTraditionalLanguage RegionalLaw "區域法") | domainEnglishFormat.kif 49213-49213 | |
(termFormat EnglishLanguage RegionalLaw "regional law") | domainEnglishFormat.kif 49212-49212 |
antecedent |
(=> (and (instance ?CORPUS RegionalLaw) (subProposition ?PART ?CORPUS)) (attribute ?CORPUS Law)) |
Government.kif 875-879 | |
(=> (instance ?CORPUS RegionalLaw) (attribute ?CORPUS Law)) |
Government.kif 871-873 |