AutonomousAgent
(agent)
(=>
(
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
If
a process
is an
instance
of
process
and
an experimenting
is an
instance
of
experimenting
and
another process
is an
instance
of
agent
and
agent
experience
s
the other process
and
the process
is a
process
in
the experimenting
,
then there exists
an entity
_GROUP such that
the entity
_GROUP is an
instance
of
collection
and
the other process
is a
member
of
the entity
_GROUP and
the entity
_GROUP is the
treatment
group
in
the experimenting
(=>
(
and
(
instance
?WATCH
WatchItem
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?OBJ
Object
)
(
agent
?WATCH ?AGENT)
(
patient
?WATCH ?OBJ))
(
inScopeOfInterest
?AGENT ?OBJ))
UXExperimentalTerms.kif 1596-1603
If
a process
is an
instance
of
watch item
and
a cognitive agent
is an
instance
of
agent
and
an entity
is an
instance
of
object
and
the cognitive agent
is an
agent
of
the process
and
the entity
is a
patient
of
the process
,
then
the cognitive agent
is
interested
in
the entity
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
AutonomousAgent
))
(
agentName
?STRING ?OBJ))
Media.kif 3429-3433
If
an agent
has
name
a symbolic string
and
the agent
is an
instance
of
agent
,
then the
name
of
the agent
is
the symbolic string
(=>
(
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
If
an entity
is not an
instance
of
agent
and
motionless
is an
attribute
of
the entity
holds
during
a time interval
,
then there doesn't exist
a process
such that
the process
is an
instance
of
motion
and
the entity
is a
patient
of
the process
and the
time
of existence of
the process
takes place
during
the time interval
(=>
(
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
If
an agent
believes
another agent
is
an attribute
and
the attribute
is an
instance
of
food rating
and
the other agent
is an
instance
of
agent
,
then there exist
an entity
,
a process
and
another process
such that
the process
is an
instance
of
cooking
and
the other agent
is an
agent
of
the process
and
the entity
is a
result
of
the process
and
the other process
is an
instance
of
classifying
and
the agent
is an
agent
of
the other process
and
the other process
end
s up at
the entity
and
the attribute
is a
patient
of
the other process
(=>
(
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
If
an agent
believes
another agent
is
an attribute
and
the attribute
is an
instance
of
service rating
and
the other agent
is an
instance
of
agent
,
then there exist
a process
and
another process
such that
the process
is an
instance
of
service
and
the other agent
is an
agent
of
the process
and
the other process
is an
instance
of
classifying
and
the agent
is an
agent
of
the other process
and
the other process
end
s up at
the process
and
the attribute
is a
patient
of
the other process
(=>
(
and
(
trafficableForTrafficType
?place ?type)
(
subclass
?type
AutonomousAgent
)
(
instance
?mover ?type))
(
capableAtLocation
Translocation
agent
?mover ?place))
Transportation.kif 2617-2622
If
a kind of self connected object
is a
trafficable
for traffic type of
a region
and
a kind of self connected object
is a
subclass
of
agent
and
an object
is an
instance
of
the kind of self connected object
,
then
translocation
capable
at location
agent
for
the object
with
the region
(=>
(
instance
?A
AutonomousAgent
)
(
capability
SocialInteraction
agent
?A))
Merge.kif 13015-13017
If
an object
is an
instance
of
agent
,
then
the object
is
capable
of doing
social interaction
as a
agent
(=>
(
instance
?AGENT
AutonomousAgent
)
(
exists
(?PROC)
(
capability
?PROC
agent
?AGENT)))
Merge.kif 1561-1564
If
an object
is an
instance
of
agent
,
then there exists
a kind of process
such that
the object
is
capable
of doing
a kind of process
as a
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