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
defendant
Sigma KEE - defendant
defendant
appearance as argument number 1
(
documentation
defendant
EnglishLanguage
"(defendant ?AGENT ?ACTION) means the
LegalAction
?ACTION makes a legal claim against ?AGENT.")
Mid-level-ontology.kif 16261-16262
(
domain
defendant
1
LegalAction
)
Mid-level-ontology.kif 16263-16263
Die Zahl 1 Argument von
defendant
ist ein
fall
von
LegalAction
%n{nicht}
(
domain
defendant
2
CognitiveAgent
)
Mid-level-ontology.kif 16264-16264
Die Zahl 2 Argument von
defendant
ist ein
fall
von
CognitiveAgent
%n{nicht}
(
instance
defendant
CaseRole
)
Mid-level-ontology.kif 16266-16266
defendant
ist ein
fall
von
CaseRole
%n{nicht}
(
subrelation
defendant
patient
)
Mid-level-ontology.kif 16265-16265
defendant
ist eine
teilrelation
von
patient
appearance as argument number 2
(
format
ChineseLanguage
defendant
"%2 是在 %1 的
defendant
")
domainEnglishFormat.kif 3218-3218
(
format
ChineseTraditionalLanguage
defendant
"%2 是在 %1 的
defendant
")
domainEnglishFormat.kif 3217-3217
(
format
EnglishLanguage
defendant
"%2 is the
defendant
in %1")
domainEnglishFormat.kif 3216-3216
(
termFormat
ChineseLanguage
defendant
"被告")
domainEnglishFormat.kif 18894-18894
(
termFormat
ChineseTraditionalLanguage
defendant
"被告")
domainEnglishFormat.kif 18893-18893
(
termFormat
EnglishLanguage
defendant
"defendant")
domainEnglishFormat.kif 18892-18892
antecedent
(=>
(
and
(
defenseLawyer
?P ?A)
(
defendant
?P ?D))
(
desires
?A
(
not
(
exists
(?L)
(
and
(
instance
?L
LegalDecision
)
(
refers
?L ?P)
(
not
(
wants
?D ?L)))))))
Law.kif 295-306
Wenn
defenseLawyer
LegalAction
and
CognitiveAgent
und
defendant
** LegalAction
and
** CognitiveAgent
,
dann
** CognitiveAgent
wuenscht es gibt nicht
entity
um
** entity
ist ein
fall
von
LegalDecision
%n{nicht} und
** entity
umfasst einen
hinweis
auf
** LegalAction
und
** ** CognitiveAgent
wuenscht
** entity
nicht %n{nicht}
(=>
(
and
(
prosecutor
?P ?A)
(
defendant
?P ?D))
(
desires
?A
(
exists
(?L)
(
and
(
instance
?L
LegalDecision
)
(
refers
?L ?P)
(
not
(
wants
?D ?L))))))
Law.kif 318-328
Wenn
prosecutor
LegalAction
and
CognitiveAgent
und
defendant
** LegalAction
and
** CognitiveAgent
,
dann
** CognitiveAgent
wuenscht es gibt
entity
um
** entity
ist ein
fall
von
LegalDecision
%n{nicht} und
** entity
umfasst einen
hinweis
auf
** LegalAction
und
** ** CognitiveAgent
wuenscht
** entity
nicht %n{nicht}
consequent
(=>
(
and
(
property
?AGREEMENT
Contract
)
(
partyToAgreement
?AGENT1 ?AGREEMENT)
(
partyToAgreement
?AGENT2 ?AGREEMENT)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?AGENT1)
(
realization
?PROC ?PROP)
(
not
(
consistent
?PROP ?AGREEMENT)))
(
modalAttribute
(
exists
(?LEGAL)
(
and
(
instance
?LEGAL
LegalAction
)
(
plaintiff
?LEGAL ?AGENT2)
(
defendant
?LEGAL ?AGENT1)))
Possibility
))
Mid-level-ontology.kif 14149-14163
Wenn
Agreement
hat ein
attribut
Contract
%n{nicht} und
partyToAgreement
CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** Agreement
und
Process
ist ein
fall
von
IntentionalProcess
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** Process
druekt den Inhalt von
Proposition
aus und
consistent
** Proposition
and
** Agreement
,
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
LegalAction
%n{nicht} und
plaintiff
** entity
and
** ** CognitiveAgent
und
defendant
** entity
and
** CognitiveAgent
hat die modale Kraft von
Possibility
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