Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
arrested
Sigma KEE - arrested
arrested
appearance as argument number 1
(
documentation
arrested
EnglishLanguage
"(
arrested
?EVENT ?AGENT) means that during ?EVENT, ?AGENT is taken into custody, typically by a representative of a law enforcement organization.")
Mid-level-ontology.kif 21429-21432
(
domain
arrested
1
PlacingUnderArrest
)
Mid-level-ontology.kif 21433-21433
(
domain
arrested
2
Agent
)
Mid-level-ontology.kif 21434-21434
(
instance
arrested
CaseRole
)
Mid-level-ontology.kif 21428-21428
(
subrelation
arrested
controlled
)
Mid-level-ontology.kif 21435-21435
appearance as argument number 2
(
format
ChineseLanguage
arrested
"%2 %n 是在 %1 的情况下被拘留")
chinese_format.kif 57-57
(
format
EnglishLanguage
arrested
"%2 is %n placed under arrest during %1")
english_format.kif 57-57
(
termFormat
ChineseLanguage
arrested
"被捕")
domainEnglishFormat.kif 8465-8465
(
termFormat
ChineseLanguage
arrested
"逮捕")
chinese_format.kif 58-58
(
termFormat
ChineseTraditionalLanguage
arrested
"被捕")
domainEnglishFormat.kif 8464-8464
(
termFormat
EnglishLanguage
arrested
"arrested")
domainEnglishFormat.kif 8463-8463
antecedent
(=>
(
and
(
instance
?ARREST
PlacingUnderArrest
)
(
arrested
?ARREST ?AGENT)
(
instance
?AGENT
GroupOfPeople
)
(
member
?MEMBER ?AGENT))
(
exists
(?ARREST1)
(
and
(
instance
?ARREST1
PlacingUnderArrest
)
(
arrested
?ARREST1 ?MEMBER)
(
subProcess
?ARREST1 ?ARREST))))
Mid-level-ontology.kif 21449-21459
(=>
(
arrested
?ARREST ?OBJ)
(
or
(
instance
?OBJ
Human
)
(
instance
?OBJ
GroupOfPeople
)))
Mid-level-ontology.kif 21443-21447
consequent
(=>
(
and
(
instance
?ARREST
PlacingUnderArrest
)
(
arrested
?ARREST ?AGENT)
(
instance
?AGENT
GroupOfPeople
)
(
member
?MEMBER ?AGENT))
(
exists
(?ARREST1)
(
and
(
instance
?ARREST1
PlacingUnderArrest
)
(
arrested
?ARREST1 ?MEMBER)
(
subProcess
?ARREST1 ?ARREST))))
Mid-level-ontology.kif 21449-21459
(=>
(
and
(
instance
?IMPRISON
Imprisoning
)
(
detainee
?IMPRISON ?AGENT)
(
instance
?AGENT
Human
)
(
time
?IMPRISON ?INTERVAL)
(
instance
?INTERVAL
TimeInterval
))
(
exists
(?ARREST ?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
time
?ARREST ?TIME)
(
earlier
?TIME ?INTERVAL)
(
instance
?ARREST
PlacingUnderArrest
)
(
arrested
?ARREST ?AGENT))))
Mid-level-ontology.kif 21468-21481
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