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
è un'
istanza
di
Processo
Experimenting
è un'
istanza
di
Experimenting
Processo
è un'
istanza
di
AutonomousAgent
AutonomousAgent
esperisce
s
Processo
experimentalVariableProcess
Experimenting
and
Processo
Entit�
_GROUP
Entit�
_GROUP è un'
istanza
di
InsiemeConcreto
Processo
è un
membro
di
Entit�
_GROUP
treatmentGroup
Entit�
_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
è un'
istanza
di
WatchItem
AgenteCognitivo
è un'
istanza
di
AutonomousAgent
Entit�
è un'
istanza
di
Oggetto
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
AgenteCognitivo
è
interessato
a
Entit�
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
AutonomousAgent
))
(
agentName
?STRING ?OBJ))
Media.kif 3429-3433
names
Stringa
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
AutonomousAgent
agentName
Stringa
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
Entit�
è un'
istanza
di
AutonomousAgent
attribute
Entit�
and
Motionless
vales
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
Movimento
Entit�
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
(=>
(
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
,
Attributo
and
AutonomousAgent
Attributo
è un'
istanza
di
FoodRating
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Entit�
Processo
and
Processo
Processo
è un'
istanza
di
Cucinare
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
risultato
di
Processo
Processo
è un'
istanza
di
Classificare
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Entit�
Attributo
è un
paziente
di
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
,
Attributo
and
AutonomousAgent
Attributo
è un'
istanza
di
ServiceRating
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Processo
Processo
Processo
è un'
istanza
di
ServiceProcess
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
Classificare
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Processo
Attributo
è un
paziente
di
Processo
(=>
(
and
(
trafficableForTrafficType
?place ?type)
(
subclass
?type
AutonomousAgent
)
(
instance
?mover ?type))
(
capableAtLocation
Translocation
agent
?mover ?place))
Transportation.kif 2617-2622
trafficableForTrafficType
Regione
and
OggettoIntegro
OggettoIntegro
è una
sottoclasse
di
AutonomousAgent
Oggetto
è un'
istanza
di
OggettoIntegro
capableAtLocation
Translocation
,
agent
,
Oggetto
and
Regione
(=>
(
instance
?A
AutonomousAgent
)
(
capability
SocialInteraction
agent
?A))
Merge.kif 13015-13017
Oggetto
è un'
istanza
di
AutonomousAgent
Oggetto
è
capace
di fare
InterazioneSociale
nel ruolo
agent
(=>
(
instance
?AGENT
AutonomousAgent
)
(
exists
(?PROC)
(
capability
?PROC
agent
?AGENT)))
Merge.kif 1561-1564
Oggetto
è un'
istanza
di
AutonomousAgent
Processo
Oggetto
è
capace
di fare
Processo
nel ruolo
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