Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LegalSystemAttribute(legal system attribute) |
| appearance as argument number 1 |
|
| (subclass LegalSystemAttribute RelationalAttribute) | Government.kif 774-774 | Legal system attribute is a subclass of relational attribute |
| (documentation LegalSystemAttribute EnglishLanguage "LegalSystemAttribute is the class of Attributes that are used to characterize legal systems, as, e.g., according to their sources, areas of concern, or principles of organization.") | Government.kif 776-779 | Legal system attribute is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain legalSystemType 2 LegalSystemAttribute) | Government.kif 762-762 | The number 2 argument of legal system type is an instance of legal system attribute |
|