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 793-797
(domain legalSystemType 1 GeopoliticalArea) Government.kif 790-790 法律制度类型 的 1 数量 是 地缘政治区域 的 instance
(domain legalSystemType 2 LegalSystemAttribute) Government.kif 791-791 法律制度类型 的 2 数量 是 法律制度属性 的 instance
(instance legalSystemType BinaryPredicate) Government.kif 789-789 法律制度类型 是 二元谓语 的 instance

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 799-801
(=>
    (legalSystemType ?AREA ?TYPE)
    (attribute
        (RegionalLawFn ?AREA) ?TYPE))		 Government.kif 891-893


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