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 16288-16289
(
domain
defendant
1
LegalAction
)
Mid-level-ontology.kif 16290-16290
Le nombre 1 argument de
defendant
est une
instance
de
action l�gale
(
domain
defendant
2
CognitiveAgent
)
Mid-level-ontology.kif 16291-16291
Le nombre 2 argument de
defendant
est une
instance
de
agent cognitif
(
instance
defendant
CaseRole
)
Mid-level-ontology.kif 16293-16293
defendant
est une
instance
de
r�le d�pendant du cas
(
subrelation
defendant
patient
)
Mid-level-ontology.kif 16292-16292
defendant
est une
sous
-relation de
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
defenseLawyer
action l�gale
and
agent cognitif
defendant
action l�gale
and
agent cognitif
agent cognitif
desire
entit�
entit�
est une
instance
de
LegalDecision
entit�
inclut une
r
�f�rence �
action l�gale
agent cognitif
ne
veut
%n{pas}
entit�
(=>
(
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
prosecutor
action l�gale
and
agent cognitif
defendant
action l�gale
and
agent cognitif
agent cognitif
desire
entit�
entit�
est une
instance
de
LegalDecision
entit�
inclut une
r
�f�rence �
action l�gale
agent cognitif
ne
veut
%n{pas}
entit�
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 14176-14190
Agreement
a un
attribute
Contract
partyToAgreement
agent cognitif
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
processus
est une
instance
de
processus intentionnel
processus
est un
agent
de
agent cognitif
processus
exprime
le contenu de
proposition
consistent
proposition
and
Agreement
l'argument
entit�
entit�
est une
instance
de
action l�gale
plaintiff
entit�
and
agent cognitif
defendant
entit�
and
agent cognitif
a la
force
modale
de
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