AutonomousAgent
(=>
(
and
(
instance
?VARIABLE
Process
)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?AGENT
AutonomousAgent
)
(
experiencer
?AGENT
AutonomousAgent
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
exists
(?TREATMENT_GROUP)
(
and
(
instance
?TREATMENT_GROUP
Collection
)
(
member
?AGENT ?TREATMENT_GROUP)
(
treatmentGroup
?TREATMENT_GROUP ?EXPERIMENT))))
UXExperimentalTerms.kif 3968-3979
Processo
e' uma
instancia
de
Processo
Experimenting
e' uma
instancia
de
Experimenting
Processo
e' uma
instancia
de
AutonomousAgent
AutonomousAgent
experimenta
Processo
experimentalVariableProcess
Experimenting
and
Processo
Entidade
_GROUP
Entidade
_GROUP e' uma
instancia
de
Colecao
Processo
e'
membro
de
Entidade
_GROUP
treatmentGroup
Entidade
_GROUP and
Experimenting
(=>
(
and
(
instance
?WATCH
WatchItem
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?OBJ
Object
)
(
agent
?WATCH ?AGENT)
(
patient
?WATCH ?OBJ))
(
inScopeOfInterest
?AGENT ?OBJ))
UXExperimentalTerms.kif 1596-1603
Processo
e' uma
instancia
de
WatchItem
Agente Cognitivo
e' uma
instancia
de
AutonomousAgent
Entidade
e' uma
instancia
de
Objeto
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Agente Cognitivo
esta'
interessado
em
Entidade
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
AutonomousAgent
))
(
agentName
?STRING ?OBJ))
Media.kif 3429-3433
AutonomousAgent
se chama
nome
Sequencia Simbolica
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
agentName
Sequencia Simbolica
and
AutonomousAgent
(=>
(
and
(
not
(
instance
?A
AutonomousAgent
))
(
holdsDuring
?T
(
attribute
?A
Motionless
)))
(
not
(
exists
(?P)
(
and
(
instance
?P
Motion
)
(
patient
?P ?A)
(
during
(
WhenFn
?P) ?T)))))
Mid-level-ontology.kif 30255-30266
Entidade
e' uma
instancia
de
AutonomousAgent
Motionless
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Movimento
Entidade
e' um
patient
de
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
FoodRating
)
(
instance
?ENTITY
AutonomousAgent
))
(
exists
(?FOOD ?COOK ?CLASSIFY)
(
and
(
instance
?COOK
Cooking
)
(
agent
?COOK ?ENTITY)
(
result
?COOK ?FOOD)
(
instance
?CLASSIFY
Classifying
)
(
agent
?CLASSIFY ?AGENT)
(
destination
?CLASSIFY ?FOOD)
(
patient
?CLASSIFY ?ATTR))))
Hotel.kif 3062-3075
subjectiveAttribute
AutonomousAgent
,
Atributo
and
AutonomousAgent
Atributo
e' uma
instancia
de
FoodRating
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Entidade
Processo
and
Processo
Processo
e' uma
instancia
de
Cozinhar
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
Processo
e' uma
instancia
de
Classificar
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Entidade
Atributo
e' um
patient
de
Processo
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
ServiceRating
)
(
instance
?ENTITY
AutonomousAgent
))
(
exists
(?SVC ?CLASSIFY)
(
and
(
instance
?SVC
ServiceProcess
)
(
agent
?SVC ?ENTITY)
(
instance
?CLASSIFY
Classifying
)
(
agent
?CLASSIFY ?AGENT)
(
destination
?CLASSIFY ?SVC)
(
patient
?CLASSIFY ?ATTR))))
Hotel.kif 3091-3103
subjectiveAttribute
AutonomousAgent
,
Atributo
and
AutonomousAgent
Atributo
e' uma
instancia
de
ServiceRating
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Processo
Processo
Processo
e' uma
instancia
de
ServiceProcess
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
Classificar
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Processo
Atributo
e' um
patient
de
Processo
(=>
(
and
(
trafficableForTrafficType
?place ?type)
(
subclass
?type
AutonomousAgent
)
(
instance
?mover ?type))
(
capableAtLocation
Translocation
agent
?mover ?place))
Transportation.kif 2617-2622
trafficableForTrafficType
Regiao
and
Objeto auto-conectado
Objeto auto-conectado
e' uma
sub
-classe de
AutonomousAgent
Objeto
e' uma
instancia
de
Objeto auto-conectado
capableAtLocation
Translocation
,
agent
,
Objeto
and
Regiao
(=>
(
instance
?A
AutonomousAgent
)
(
capability
SocialInteraction
agent
?A))
Merge.kif 13015-13017
Objeto
e' uma
instancia
de
AutonomousAgent
Objeto
e'
capaz
de fazer
Interacao Social
no role
agent
(=>
(
instance
?AGENT
AutonomousAgent
)
(
exists
(?PROC)
(
capability
?PROC
agent
?AGENT)))
Merge.kif 1561-1564
Objeto
e' uma
instancia
de
AutonomousAgent
Processo
Objeto
e'
capaz
de fazer
Processo
no role
agent
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