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 793-797
(
domain
legalSystemType
1
GeopoliticalArea
)
Government.kif 790-790
The number 1 argument of
legal system type
is an
instance
of
geopolitical area
(
domain
legalSystemType
2
LegalSystemAttribute
)
Government.kif 791-791
The number 2 argument of
legal system type
is an
instance
of
legal system attribute
(
instance
legalSystemType
BinaryPredicate
)
Government.kif 789-789
legal system type
is an
instance
of
binary predicate
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
If
a legal system attribute
is a
legal
system type of
a geopolitical area
,
then
the legal system attribute
is an
attribute
of the
judiciary
of
the geopolitical area
(=>
(
legalSystemType
?AREA ?TYPE)
(
attribute
(
RegionalLawFn
?AREA) ?TYPE))
Government.kif 891-893
If
a legal system attribute
is a
legal
system type of
a geopolitical area
,
then
the legal system attribute
is an
attribute
of the
regional
law of
the geopolitical area
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