Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 2059-2062
(
domain
judicialBranch
1
Organization
)
Government.kif 2056-2056
(
domain
judicialBranch
2
AutonomousAgent
)
Government.kif 2057-2057
(
instance
judicialBranch
AsymmetricRelation
)
Government.kif 2055-2055
(
instance
judicialBranch
BinaryPredicate
)
Government.kif 2054-2054
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 31860-31860
(
termFormat
ChineseTraditionalLanguage
judicialBranch
"司法部門")
domainEnglishFormat.kif 31859-31859
(
termFormat
EnglishLanguage
judicialBranch
"judicial branch")
domainEnglishFormat.kif 31858-31858
antecedent
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2092-2097
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 2086-2090
(=>
(
and
(
judicialBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 2080-2084
(=>
(
and
(
judicialBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 2074-2078
(=>
(
judicialBranch
?BRANCH ?AGENT)
(
equal
?BRANCH
(
JudiciaryFn
?AGENT)))
Government.kif 2108-2110
(=>
(
judicialBranch
?BRANCH ?AGENT)
(
or
(
instance
?BRANCH
GeopoliticalArea
)
(
instance
?BRANCH
Organization
)))
Government.kif 2064-2068
(=>
(
judicialBranch
?ORG ?AGENT)
(
instance
?ORG
JudicialOrganization
))
Government.kif 2070-2072
consequent
(=>
(
and
(
instance
(
JudiciaryFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
judicialBranch
(
JudiciaryFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 2116-2120
(=>
(
instance
(
JudiciaryFn
?AGENT)
Organization
)
(
judicialBranch
(
JudiciaryFn
?AGENT) ?AGENT))
Government.kif 2112-2114
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