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
legalSystemType
の数値 1 引数は
地政学的地域
の
instance
では %n
(
domain
legalSystemType
2
LegalSystemAttribute
)
Government.kif 791-791
legalSystemType
の数値 2 引数は
LegalSystemAttribute
の
instance
では %n
(
instance
legalSystemType
BinaryPredicate
)
Government.kif 789-789
legalSystemType
は
2進述語
の
instance
では %n
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
地政学的地域
and
LegalSystemAttribute
LegalSystemAttribute
は
JudiciaryFn
地政学的地域
の
attribute
では %n
(=>
(
legalSystemType
?AREA ?TYPE)
(
attribute
(
RegionalLawFn
?AREA) ?TYPE))
Government.kif 891-893
legalSystemType
地政学的地域
and
LegalSystemAttribute
LegalSystemAttribute
は
RegionalLawFn
地政学的地域
の
attribute
では %n
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