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
Processus
est une
instance
de
processus
Experimenting
est une
instance
de
Experimenting
processus
est une
instance
de
AutonomousAgent
AutonomousAgent
exp
�rimente
processus
experimentalVariableProcess
Experimenting
and
processus
entit�
_GROUP
entit�
_GROUP est une
instance
de
collection
processus
est un
membre
de
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
Processus
est une
instance
de
WatchItem
agent cognitif
est une
instance
de
AutonomousAgent
entit�
est une
instance
de
objet
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
agent cognitif
est
interess
� par
entit�
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
AutonomousAgent
))
(
agentName
?STRING ?OBJ))
Media.kif 3429-3433
AutonomousAgent
s'appele
nom
cha�ne sympbolique
AutonomousAgent
est une
instance
de
AutonomousAgent
agentName
cha�ne sympbolique
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�
est une
instance
de
AutonomousAgent
Motionless
est un
attribut
de
entit�
pendant
interval temporel
processus
processus
est une
instance
de
d�palcement
entit�
est un
patient
de
processus
temps
d'existence de
processus
prend place
pendant
interval temporel
(=>
(
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
,
attribut
and
AutonomousAgent
attribut
est une
instance
de
FoodRating
AutonomousAgent
est une
instance
de
AutonomousAgent
entit�
processus
and
processus
processus
est une
instance
de
cuisiner
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
processus
est une
instance
de
classifier
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
attribut
est un
patient
de
processus
(=>
(
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
,
attribut
and
AutonomousAgent
attribut
est une
instance
de
ServiceRating
AutonomousAgent
est une
instance
de
AutonomousAgent
processus
processus
processus
est une
instance
de
ServiceProcess
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
classifier
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
processus
attribut
est un
patient
de
processus
(=>
(
and
(
trafficableForTrafficType
?place ?type)
(
subclass
?type
AutonomousAgent
)
(
instance
?mover ?type))
(
capableAtLocation
Translocation
agent
?mover ?place))
Transportation.kif 2617-2622
trafficableForTrafficType
r�gion
and
objet en une partie
objet en une partie
est une
sous
-classe de
AutonomousAgent
objet
est une
instance
de
objet en une partie
capableAtLocation
Translocation
,
agent
,
objet
and
r�gion
(=>
(
instance
?A
AutonomousAgent
)
(
capability
SocialInteraction
agent
?A))
Merge.kif 13015-13017
Objet
est une
instance
de
AutonomousAgent
objet
est
capable
de faire
interaction social
dans le r�le
agent
(=>
(
instance
?AGENT
AutonomousAgent
)
(
exists
(?PROC)
(
capability
?PROC
agent
?AGENT)))
Merge.kif 1561-1564
Objet
est une
instance
de
AutonomousAgent
processus
objet
est
capable
de faire
processus
dans le r�le
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