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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 779-783
(domain legalSystemType 1 GeopoliticalArea) Government.kif 776-776
(domain legalSystemType 2 LegalSystemAttribute) Government.kif 777-777
(instance legalSystemType BinaryPredicate) Government.kif 775-775

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 33852-33852
(termFormat ChineseTraditionalLanguage legalSystemType "法律制度類型") domainEnglishFormat.kif 33851-33851
(termFormat EnglishLanguage legalSystemType "legal system type") domainEnglishFormat.kif 33850-33850

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


(=>
    (legalSystemType ?AREA ?TYPE)
    (attribute
        (JudiciaryFn ?AREA) ?TYPE))
Government.kif 785-787
(=>
    (legalSystemType ?AREA ?TYPE)
    (attribute
        (RegionalLawFn ?AREA) ?TYPE))
Government.kif 877-879


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 3.0 is open source software produced by Articulate Software and its partners