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
Sigma KEE - judge
judge
appearance as argument number 1
(
documentation
judge
EnglishLanguage
"A
CaseRole
that relates the
JudgeAtLaw
in a case to a legal action. Note that this is not solely a
LegalAction
because a
JudgeAtLaw
presides over
Pleading
s and many other sorts of actions. Also note that just because someone is a
JudgeAtLaw
doesn't mean that they are always the
judge
in an action, for example if a judge is on trial for corruption.")
Law.kif 196-200
(
domain
judge
1
Process
)
Law.kif 193-193
The number 1 argument of
judge
is an
instance
of
process
(
domain
judge
2
Human
)
Law.kif 194-194
The number 2 argument of
judge
is an
instance
of
human
(
instance
judge
CaseRole
)
Law.kif 190-190
judge
is an
instance
of
case role
appearance as argument number 2
(
format
EnglishLanguage
judge
"%2 is the judge in %1")
Law.kif 192-192
(
termFormat
EnglishLanguage
judge
"judge")
Law.kif 191-191
antecedent
(=>
(
judge
?P ?J)
(
exists
(?O)
(
occupiesPosition
?J
JudgeAtLaw
?O)))
Law.kif 202-205
If
a human
is the judge in
a process
,
then there exists
an organization
such that
the human
holds the
position
of
judge
in
the organization
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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
