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
法律制度类型
的 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
如果
法律制度属性
是
地缘政治区域
legal
系统,
然后
那个 法律制度属性
是
那个 地缘政治区域
的
judiciary
的
attribute
(=>
(
legalSystemType
?AREA ?TYPE)
(
attribute
(
RegionalLawFn
?AREA) ?TYPE))
Government.kif 891-893
如果
法律制度属性
是
地缘政治区域
legal
系统,
然后
那个 法律制度属性
是
那个 地缘政治区域
的
regional
法律 的
attribute
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