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
detainedAtTimeInPlace
Sigma KEE - detainedAtTimeInPlace
detainedAtTimeInPlace
appearance as argument number 1
(
documentation
detainedAtTimeInPlace
EnglishLanguage
"(
detainedAtTimeInPlace
?AGENT ?TIME ?PLACE) means that ?AGENT is held or confined by some more powerful or authoritative agent for a time and at a location specified by ?TIME and ?PLACE.")
Justice.kif 21-24
(
domain
detainedAtTimeInPlace
1
SentientAgent
)
Justice.kif 17-17
Il numero 1 argomenti di
detainedAtTimeInPlace
è un
istanza
di
AgenteSensibile
(
domain
detainedAtTimeInPlace
2
TimePosition
)
Justice.kif 18-18
Il numero 2 argomenti di
detainedAtTimeInPlace
è un
istanza
di
PosizioneTemporale
(
domain
detainedAtTimeInPlace
3
Object
)
Justice.kif 19-19
Il numero 3 argomenti di
detainedAtTimeInPlace
è un
istanza
di
Oggetto
(
instance
detainedAtTimeInPlace
TernaryPredicate
)
Justice.kif 16-16
detainedAtTimeInPlace
è un'
istanza
di
PredicatoTernario
appearance as argument number 2
(
format
ChineseLanguage
detainedAtTimeInPlace
"1 %n{不} 在此刻拘留 对于 %3 在地方 %2 ")
domainEnglishFormat.kif 724-724
(
format
ChineseTraditionalLanguage
detainedAtTimeInPlace
"%1 %n{不} 在此刻拘留 對於 %3 在地方 %2 ")
domainEnglishFormat.kif 723-723
(
format
EnglishLanguage
detainedAtTimeInPlace
"%1 %n{doesn't}
de
tained at time in place %2 for %3")
domainEnglishFormat.kif 722-722
(
termFormat
ChineseLanguage
detainedAtTimeInPlace
"被拘留的时间到位")
domainEnglishFormat.kif 19278-19278
(
termFormat
ChineseTraditionalLanguage
detainedAtTimeInPlace
"被拘留的時間到位")
domainEnglishFormat.kif 19277-19277
(
termFormat
EnglishLanguage
detainedAtTimeInPlace
"detained at time in place")
domainEnglishFormat.kif 19276-19276
antecedent
(<=>
(
detainedAtTimeInPlace
?AGENT ?TIME ?PLACE)
(
playsRoleInEventOfType
?AGENT
detainee
Confining
?TIME ?PLACE))
Justice.kif 26-28
detainedAtTimeInPlace
AgenteSensibile
,
PosizioneTemporale
and
Oggetto
playsRoleInEventOfType
AgenteSensibile
,
detainee
,
Imprigionare
,
PosizioneTemporale
and
Oggetto
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