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
judicialBranch
Sigma KEE - judicialBranch
judicialBranch
appearance as argument number 1
(
documentation
judicialBranch
EnglishLanguage
"(
judicialBranch
?BRANCH ?ORG) means that the
Organization
?BRANCH is the judicial branch of the
GeopoliticalArea
or
Organization
?ORG, that is, all of its courts and judicial offices, considered as a whole.")
Government.kif 2097-2100
(
domain
judicialBranch
1
Organization
)
Government.kif 2094-2094
The number 1 argument of
judicial branch
is an
instance
of
organization
(
domain
judicialBranch
2
AutonomousAgent
)
Government.kif 2095-2095
The number 2 argument of
judicial branch
is an
instance
of
agent
(
instance
judicialBranch
AsymmetricRelation
)
Government.kif 2093-2093
judicial branch
is an
instance
of
asymmetric relation
(
instance
judicialBranch
BinaryPredicate
)
Government.kif 2092-2092
judicial branch
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
judicialBranch
"%2 %n 是 %1 的 judicial 分支")
domainEnglishFormat.kif 1405-1405
(
format
ChineseTraditionalLanguage
judicialBranch
"%2 %n 是 %1 的 judicial 分支")
domainEnglishFormat.kif 1404-1404
(
format
EnglishLanguage
judicialBranch
"%2 is %n a judicial branch of %1")
domainEnglishFormat.kif 1403-1403
(
termFormat
ChineseLanguage
judicialBranch
"司法部门")
domainEnglishFormat.kif 31849-31849
(
termFormat
ChineseTraditionalLanguage
judicialBranch
"司法部門")
domainEnglishFormat.kif 31848-31848
(
termFormat
EnglishLanguage
judicialBranch
"judicial branch")
domainEnglishFormat.kif 31847-31847
antecedent
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2130-2135
If
a geopolitical area
is a
judicial
branch of
an organization
and
the geopolitical area
is an
instance
of
geopolitical area
and
another organization
is a part of the organization
the organization
,
then
the other organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 2124-2128
If
a geopolitical area
is a
judicial
branch of
an organization
and
the geopolitical area
is an
instance
of
geopolitical area
,
then
the organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
judicialBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 2118-2122
If
an organization
is a
judicial
branch of
another organization
and
the organization
is an
instance
of
organization
,
then
the other organization
is a part of the organization
the organization
(=>
(
and
(
judicialBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 2112-2116
If
an agent
is a
judicial
branch of
an organization
and
the agent
is an
instance
of
geopolitical area
,
then
the organization
is an
instance
of
government organization
(=>
(
judicialBranch
?BRANCH ?AGENT)
(
equal
?BRANCH
(
JudiciaryFn
?AGENT)))
Government.kif 2147-2149
If
a geopolitical area
is a
judicial
branch of
a judicial organization
,
then
the judicial organization
is
equal
to the
judiciary
of
the geopolitical area
(=>
(
judicialBranch
?BRANCH ?AGENT)
(
or
(
instance
?BRANCH
GeopoliticalArea
)
(
instance
?BRANCH
Organization
)))
Government.kif 2102-2106
If
an agent
is a
judicial
branch of
an organization
,
then
the organization
is an
instance
of
geopolitical area
or
the organization
is an
instance
of
organization
(=>
(
judicialBranch
?ORG ?AGENT)
(
instance
?ORG
JudicialOrganization
))
Government.kif 2108-2110
If
an agent
is a
judicial
branch of
an organization
,
then
the organization
is an
instance
of
judicial organization
consequent
(=>
(
and
(
instance
(
JudiciaryFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
judicialBranch
(
JudiciaryFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 2155-2159
If the
judiciary
of
a geopolitical area
is an
instance
of
organization
and
the geopolitical area
is an
instance
of
geopolitical area
,
then the
government
of
the geopolitical area
is a
judicial
branch of the
judiciary
of
the geopolitical area
(=>
(
instance
(
JudiciaryFn
?AGENT)
Organization
)
(
judicialBranch
(
JudiciaryFn
?AGENT) ?AGENT))
Government.kif 2151-2153
If the
judiciary
of
a geopolitical area
is an
instance
of
organization
,
then
the geopolitical area
is a
judicial
branch of the
judiciary
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