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

Formal Language: 



KB Term:  Term intersection
English Word: 

  legalSystemType

 Sigma KEE - legalSystemType
legalSystemType

appearance as argument number 1
-------------------------


(documentation legalSystemType EnglishLanguage "(legalSystemType ?AREA ?TYPE) means that the GeopoliticalArea ?AREA has a legal system characterized by the LegalSystemAttribute ?TYPE. For example, (legalSystemType UnitedStates EnglishCommonLaw). A legal system may have multiple characteristics.") Government.kif 757-761
(domain legalSystemType 1 GeopoliticalArea) Government.kif 754-754 Die Zahl 1 Argument von legalSystemType ist ein fall von GeopoliticalArea %n{nicht}
(domain legalSystemType 2 LegalSystemAttribute) Government.kif 755-755 Die Zahl 2 Argument von legalSystemType ist ein fall von LegalSystemAttribute %n{nicht}
(instance legalSystemType BinaryPredicate) Government.kif 753-753 legalSystemType ist ein fall von BinaryPredicate %n{nicht}

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


(format ChineseLanguage legalSystemType "%2 %n 是 %1 legal 系统") domainEnglishFormat.kif 1463-1463
(format ChineseTraditionalLanguage legalSystemType "%2 %n 是 %1 legal 系統") domainEnglishFormat.kif 1462-1462
(format EnglishLanguage legalSystemType "%2 is %n a legal system type of %1") domainEnglishFormat.kif 1461-1461
(termFormat ChineseLanguage legalSystemType "法律制度类型") domainEnglishFormat.kif 33869-33869
(termFormat ChineseTraditionalLanguage legalSystemType "法律制度類型") domainEnglishFormat.kif 33868-33868
(termFormat EnglishLanguage legalSystemType "legal system type") domainEnglishFormat.kif 33867-33867

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


(=>
    (legalSystemType ?AREA ?TYPE)
    (attribute
        (JudiciaryFn ?AREA) ?TYPE))		 Government.kif 763-765
(=>
    (legalSystemType ?AREA ?TYPE)
    (attribute
        (RegionalLawFn ?AREA) ?TYPE))		 Government.kif 855-857


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners