Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RegionalLaw
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 858-862
(subclass RegionalLaw Proposition) Government.kif 856-856 RegionalLaw命題subclass では %n

appearance as argument number 2
-------------------------


(range RegionalLawFn RegionalLaw) Government.kif 876-876 RegionalLawFnrangeRegionalLaw のインスタンス では %n
(termFormat ChineseLanguage RegionalLaw "区域法") domainEnglishFormat.kif 49153-49153 termFormat ChineseLanguage, RegionalLaw and "区域法"
(termFormat ChineseTraditionalLanguage RegionalLaw "區域法") domainEnglishFormat.kif 49152-49152 termFormat ChineseTraditionalLanguage, RegionalLaw and "區域法"
(termFormat EnglishLanguage RegionalLaw "regional law") domainEnglishFormat.kif 49151-49151 termFormat EnglishLanguage, RegionalLaw and "regional law"

antecedent
-------------------------


(=>
    (and
        (instance ?CORPUS RegionalLaw)
        (subProposition ?PART ?CORPUS))
    (attribute ?CORPUS Law))
Government.kif 868-872
(=>
    (instance ?CORPUS RegionalLaw)
    (attribute ?CORPUS Law))
Government.kif 864-866


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners