Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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
(
domain
legalSystemType
2
LegalSystemAttribute
)
Government.kif 755-755
(
instance
legalSystemType
BinaryPredicate
)
Government.kif 753-753
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