![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(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 805-808 | |
(subclass LegalSystemAttribute RelationalAttribute) | Government.kif 803-803 | 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 791-791 | The number 2 argument of legal system type is an instance of legal system attribute |
![]() |
![]() |