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
playsRoleInEvent
Sigma KEE - playsRoleInEvent
playsRoleInEvent
appearance as argument number 1
(
documentation
playsRoleInEvent
EnglishLanguage
"(
playsRoleInEvent
?OBJ ?ROLE ?EVENT) means that the
Object
?OBJ is involved in the
Process
?EVENT in a way specified by the
CaseRole
predicate ?ROLE.")
Mid-level-ontology.kif 23293-23296
(
domain
playsRoleInEvent
1
Object
)
Mid-level-ontology.kif 23289-23289
O argumento numero 1 de
playsRoleInEvent
e' uma
instancia
de
Objeto
(
domain
playsRoleInEvent
2
CaseRole
)
Mid-level-ontology.kif 23290-23290
O argumento numero 2 de
playsRoleInEvent
e' uma
instancia
de
Role em Caso
(
domain
playsRoleInEvent
3
Process
)
Mid-level-ontology.kif 23291-23291
O argumento numero 3 de
playsRoleInEvent
e' uma
instancia
de
Processo
(
instance
playsRoleInEvent
TernaryPredicate
)
Mid-level-ontology.kif 23288-23288
playsRoleInEvent
e' uma
instancia
de
Predicado Ternario
appearance as argument number 2
(
format
ChineseLanguage
playsRoleInEvent
"%1 %n{不} 对于 %3 在事件 %2
plays
角色")
domainEnglishFormat.kif 1967-1967
(
format
ChineseTraditionalLanguage
playsRoleInEvent
"%1 %n{不} 對於 %3 在事件 %2
plays
角色")
domainEnglishFormat.kif 1966-1966
(
format
EnglishLanguage
playsRoleInEvent
"%1 %n{doesn't}
plays
role in event %2 for %3")
domainEnglishFormat.kif 1965-1965
(
termFormat
ChineseLanguage
playsRoleInEvent
"在事件中发挥作用")
domainEnglishFormat.kif 46274-46274
(
termFormat
ChineseTraditionalLanguage
playsRoleInEvent
"在事件中發揮作用")
domainEnglishFormat.kif 46273-46273
(
termFormat
EnglishLanguage
playsRoleInEvent
"plays role in event")
domainEnglishFormat.kif 46272-46272
antecedent
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
instance
?EVENT ?CLASS)
(
subclass
?CLASS
Process
)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
playsRoleInEventOfType
?OBJ ?ROLE ?CLASS ?TIME ?PLACE))
Mid-level-ontology.kif 23312-23319
playsRoleInEvent
Objeto
,
Role em Caso
and
Processo
Processo
e' uma
instancia
de
Processo
Processo
e' uma
sub
-classe de
Processo
Processo
existe
durante
Posicao Temporal
eventLocated
Processo
and
Objeto
playsRoleInEventOfType
Objeto
,
Role em Caso
,
Processo
,
Posicao Temporal
and
Objeto
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
instance
?EVENT ?TYPE)
(
subclass
?TYPE
Process
)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
playsRoleInEventOfType
?OBJ ?ROLE ?TYPE ?TIME ?PLACE))
Mid-level-ontology.kif 23341-23348
playsRoleInEvent
Objeto
,
Role em Caso
and
Processo
Processo
e' uma
instancia
de
Processo
Processo
e' uma
sub
-classe de
Processo
Processo
existe
durante
Posicao Temporal
eventLocated
Processo
and
Objeto
playsRoleInEventOfType
Objeto
,
Role em Caso
,
Processo
,
Posicao Temporal
and
Objeto
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
subrelation
?ROLE ?ROLE2))
(
playsRoleInEvent
?OBJ ?ROLE2 ?EVENT))
Mid-level-ontology.kif 23298-23302
playsRoleInEvent
Objeto
,
Role em Caso
and
Processo
Role em Caso
e' uma
sub
-relacao de
Role em Caso
2
playsRoleInEvent
Objeto
,
Role em Caso
2 and
Processo
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 23364-23369
playsRoleInEvent
Objeto
,
Role em Caso
and
Processo
Processo
existe
durante
Posicao Temporal
eventLocated
Processo
and
Objeto
locatedAtTime
Objeto
,
Posicao Temporal
and
Objeto
consequent
(=>
(
and
(?ROLE ?EVENT ?OBJ)
(
instance
?ROLE
CaseRole
)
(
instance
?EVENT
Process
)
(
instance
?OBJ
Object
))
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT))
Mid-level-ontology.kif 23304-23310
Role em Caso
Processo
and
Objeto
Role em Caso
e' uma
instancia
de
Role em Caso
Processo
e' uma
instancia
de
Processo
Objeto
e' uma
instancia
de
Objeto
playsRoleInEvent
Objeto
,
Role em Caso
and
Processo
(=>
(
and
(
instance
?PARK
DisabledParking
)
(
instance
?AGENT
Human
)
(
attribute
?AGENT ?ATTR)
(
instance
?ATTR
Disability
))
(
hasPurposeForAgent
?PARK
(
exists
(?EVENT ?TD)
(
and
(
instance
?EVENT
Putting
)
(
playsRoleInEvent
?PARK
destination
?EVENT)
(
playsRoleInEvent
?TD
patient
?EVENT)
(
instance
?TD
TransportationDevice
))) ?AGENT))
TransportDetail.kif 51-63
Fisico
e' uma
instancia
de
DisabledParking
AutonomousAgent
e' uma
instancia
de
Humano
Atributo
e' um
atributo
de
AutonomousAgent
Atributo
e' uma
instancia
de
Disability
Fisico
tem
finalidade
Entidade
Entidade
Entidade
e' uma
instancia
de
Colocar
playsRoleInEvent
Fisico
,
destination
and
Entidade
playsRoleInEvent
Entidade
,
patient
and
Entidade
Entidade
e' uma
instancia
de
Veiculo de Transporte
para
AutonomousAgent
(=>
(
and
(
instance
?X
BreakingRecord
)
(
agent
?X ?A1))
(
exists
(?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(
and
(
instance
?AC
Set
)
(
element
?A1 ?AC)
(
subclass
?PC
Process
)
(
instance
?L
Region
)
(
instance
?TP
TimePoint
)
(
instance
?Q
Quantity
)
(
instance
?P1 ?PC)
(
refers
?X ?Q)
(
refers
?Q ?P1)
(
playsRoleInEvent
?A1 ?ROLE ?P1)
(
eventLocated
?P1 ?L)
(
not
(
exists
(?A2 ?P2)
(
and
(
instance
?A2 ?AC)
(
not
(
equal
?A2 ?A1))
(
instance
?P2 ?PC)
(
holdsDuring
(
TimeIntervalFn
?TP
(
EndFn
(
WhenFn
?X)))
(
and
(
playsRoleInEvent
?A2 ?ROLE ?P2)
(
eventLocated
?P2 ?L)))))))))
Mid-level-ontology.kif 30054-30084
Processo
e' uma
instancia
de
BreakingRecord
Processo
e' um
agente
de
AutonomousAgent
Conjunto
Classe
,
Processo
,
Ponto no tempo
,
Role em Caso
,
Objeto
and
Entidade
Conjunto
e' uma
instancia
de
Conjunto
AutonomousAgent
e' um
elemento
de
Conjunto
Classe
e' uma
sub
-classe de
Processo
Objeto
e' uma
instancia
de
Regiao
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Entidade
e' uma
instancia
de
Quantidade
Processo
e' uma
instancia
de
Classe
Processo
inclui uma
referencia
a
Entidade
Entidade
inclui uma
referencia
a
Processo
playsRoleInEvent
AutonomousAgent
,
Role em Caso
and
Processo
eventLocated
Processo
and
Objeto
Entidade
Entidade
Entidade
e' uma
instancia
de
Conjunto
Entidade
e'
igual
a
AutonomousAgent
Entidade
e' uma
instancia
de
Classe
playsRoleInEvent
Entidade
,
Role em Caso
and
Entidade
eventLocated
Entidade
and
Objeto
vale
durante o
intervalo
entre
Ponto no tempo
e o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
subrelation
?ROLE ?ROLE2))
(
playsRoleInEvent
?OBJ ?ROLE2 ?EVENT))
Mid-level-ontology.kif 23298-23302
playsRoleInEvent
Objeto
,
Role em Caso
and
Processo
Role em Caso
e' uma
sub
-relacao de
Role em Caso
2
playsRoleInEvent
Objeto
,
Role em Caso
2 and
Processo
(=>
(
instance
?PARK
ParkingRegion
)
(
hasPurpose
?PARK
(
exists
(?EVENT ?TD)
(
and
(
instance
?EVENT
Putting
)
(
playsRoleInEvent
?PARK
destination
?EVENT)
(
playsRoleInEvent
?TD
patient
?EVENT)
(
instance
?TD
TransportationDevice
)))))
TransportDetail.kif 36-44
Fisico
e' uma
instancia
de
ParkingRegion
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Colocar
playsRoleInEvent
Fisico
,
destination
and
Entidade
playsRoleInEvent
Entidade
,
patient
and
Entidade
Entidade
e' uma
instancia
de
Veiculo de Transporte
(=>
(
playsRoleInEventOfType
?OBJ ?ROLE ?TYPE ?TIME ?PLACE)
(
exists
(?EVENT)
(
and
(
instance
?EVENT ?TYPE)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE)
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT))))
Mid-level-ontology.kif 23332-23339
playsRoleInEventOfType
Objeto
,
Role em Caso
,
Processo
,
Posicao Temporal
and
Objeto
Processo
Processo
e' uma
instancia
de
Processo
Processo
existe
durante
Posicao Temporal
eventLocated
Processo
and
Objeto
playsRoleInEvent
Objeto
,
Role em Caso
and
Processo
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