AutonomousAgent
(agent)
(=>
(
instance
?A
Awarding
)
(
exists
(?RECIPIENT ?GIVER ?PROCESS ?AWARD)
(
and
(
instance
?RECIPIENT
AutonomousAgent
)
(
instance
?GIVER
AutonomousAgent
)
(
instance
?PROCESS
Process
)
(
instance
?AWARD
Object
)
(
agent
?PROCESS ?RECIPIENT)
(
agent
?A ?GIVER)
(
patient
?A ?AWARD)
(
destination
?A ?RECIPIENT)
(
causes
?PROCESS ?A))))
Mid-level-ontology.kif 18645-18657
If
a process
is an
instance
of
awarding
,
then there exist
an agent
,
another agent
,, ,
another process
and
the process
WARD such that
the agent
is an
instance
of
agent
and
the other agent
is an
instance
of
agent
and
the other process
is an
instance
of
process
and
the process
WARD is an
instance
of
object
and
the agent
is an
agent
of
the other process
and
the other agent
is an
agent
of
the process
and
the process
WARD is a
patient
of
the process
and
the process
end
s up at
the agent
and
the other process
cause
s
the process
(=>
(
instance
?BM
BestMatchAlgorithm
)
(
hasPurpose
?BM
(
exists
(?QUERY ?SEARCHATTEMPT ?OBJECT ?AGENT)
(
and
(
instance
?QUERY
SearchQuery
)
(
instance
?SEARCHATTEMPT
SearchAttempt
)
(
represents
?QUERY ?SEARCHATTEMPT)
(
patient
?BM ?QUERY)
(
instance
?AGENT
AutonomousAgent
)
(
patient
?SEARCHATTEMPT ?OBJECT)
(
agent
?SEARCHATTEMPT ?AGENT)))))
UXExperimentalTerms.kif 2301-2312
If
a physical
is an
instance
of
best match sort
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
Search query
and
the other entity
is an
instance
of
search attempt
and
the entity
express
es
the other entity
and
the entity
is a
patient
of
the physical
and
the fourth entity
is an
instance
of
agent
and
the third entity
is a
patient
of
the other entity
and
the fourth entity
is an
agent
of
the other entity
(=>
(
instance
?CATALOG
Catalog
)
(
exists
(?X)
(
and
(
instance
?X
AutonomousAgent
)
(
offers
?X ?CATALOG))))
Catalog.kif 36-41
If
an abstract
is an
instance
of
catalog
,
then there exists
an agent
such that
the agent
is an
instance
of
agent
and
the agent
offers
items for sale in
the abstract
(=>
(
instance
?CHARGE
FinalValueFee
)
(
exists
(?ADVERT ?SELLING ?OWNER ?ITEM ?SITE)
(
and
(
instance
?ADVERT
WebListing
)
(
instance
?SELLING
Selling
)
(
instance
?OWNER
AutonomousAgent
)
(
instance
?ITEM
Physical
)
(
instance
?ADVERT
WebListing
)
(
patient
?ADVERT ?ITEM)
(
patient
?SELLING ?ITEM)
(
causes
?SELLING ?CHARGE)
(
agent
?CHARGE ?OWNER)
(
hostedOn
?ADVERT ?SITE)
(
possesses
?OWNER ?SITE)
(
eCommerceSite
?SELLING ?OWNER))))
UXExperimentalTerms.kif 240-255
If
a process
is an
instance
of
final fee
,
then there exist
a web listing
,
a financial transaction
,, ,
an agent
,, ,
an entity
and
a web site
such that
the web listing
is an
instance
of
web listing
and
the financial transaction
is an
instance
of
selling
and
the agent
is an
instance
of
agent
and
the entity
is an
instance
of
physical
and
the web listing
is an
instance
of
web listing
and
the entity
is a
patient
of
the web listing
and
the entity
is a
patient
of
the financial transaction
and
the financial transaction
cause
s
the process
and
the agent
is an
agent
of
the process
and
the web listing
is
hosted
on
the web site
and
the agent
possess
es
the web site
and
the agent
facilitates
the financial transaction
(=>
(
instance
?CHARGE
InsertionFee
)
(
exists
(?ADVERT ?PROC ?OWNER)
(
and
(
instance
?ADVERT
WebListing
)
(
instance
?PROC
ListOnSite
)
(
instance
?OWNER
AutonomousAgent
)
(
patient
?PROC ?ADVERT)
(
causes
?PROC ?CHARGE)
(
agent
?CHARGE ?OWNER)
(
agent
?PROC ?OWNER))))
UXExperimentalTerms.kif 220-230
If
a process
is an
instance
of
insertion fee
,
then there exist
an entity
,
another process
and
an agent
such that
the entity
is an
instance
of
web listing
and
the other process
is an
instance
of
list on site
and
the agent
is an
instance
of
agent
and
the entity
is a
patient
of
the other process
and
the other process
cause
s
the process
and
the agent
is an
agent
of
the process
and
the agent
is an
agent
of
the other process
(=>
(
instance
?CHARGE
InsertionFee
)
(
exists
(?SITE ?OWNER ?ADVERT)
(
and
(
instance
?SITE
WebSite
)
(
instance
?OWNER
AutonomousAgent
)
(
instance
?ADVERT
WebListing
)
(
hostedOn
?ADVERT ?SITE)
(
possesses
?OWNER ?SITE)
(
agent
?CHARGE ?OWNER))))
UXExperimentalTerms.kif 209-218
If
a process
is an
instance
of
insertion fee
,
then there exist
a web site
,
an agent
and
a web listing
such that
the web site
is an
instance
of
web site
and
the agent
is an
instance
of
agent
and
the web listing
is an
instance
of
web listing
and
the web listing
is
hosted
on
the web site
and
the agent
possess
es
the web site
and
the agent
is an
agent
of
the process
(=>
(
instance
?D
Doll
)
(
exists
(?A)
(
and
(
instance
?A
AutonomousAgent
)
(
represents
?D ?A))))
Mid-level-ontology.kif 2398-2403
If
an entity
is an
instance
of
doll
,
then there exists
another entity
such that
the other entity
is an
instance
of
agent
and
the entity
express
es
the other entity
(=>
(
instance
?INTERACTION
SocialInteraction
)
(
exists
(?AGENT1 ?AGENT2)
(
and
(
involvedInEvent
?INTERACTION ?AGENT1)
(
involvedInEvent
?INTERACTION ?AGENT2)
(
instance
?AGENT1
AutonomousAgent
)
(
instance
?AGENT2
AutonomousAgent
)
(
not
(
equal
?AGENT1 ?AGENT2)))))
Merge.kif 13004-13013
If
a process
is an
instance
of
social interaction
,
then there exist
an entity
and
another entity
such that
the entity
is an
involved
in event of
the process
and
the other entity
is an
involved
in event of
the process
and
the entity
is an
instance
of
agent
and
the other entity
is an
instance
of
agent
and
the entity
is not
equal
to
the other entity
(=>
(
instance
?LGP
LargeGroupProcess
)
(
exists
(?G ?M)
(
and
(
instance
?G
Collection
)
(
member
?M ?G)
(
memberType
?G
AutonomousAgent
))))
Mid-level-ontology.kif 7932-7938
If
an entity
is an
instance
of
large group process
,
then there exist
a collection
and
a physical
such that
the collection
is an
instance
of
collection
and
the physical
is a
member
of
the collection
and
agent
is a
member
type of
the collection
(=>
(
instance
?NUMBER
AccountNumber
)
(
exists
(?CORPORATION ?AGENT ?HUMAN)
(
and
(
instance
?CORPORATION
Corporation
)
(
instance
?AGENT
AutonomousAgent
)
(
uniqueIdWithRespectTo
?CORPORATION ?HUMAN ?NUMBER))))
Mid-level-ontology.kif 29930-29936
If
a symbolic string
is an
instance
of
account number
,
then there exist
a physical
,
an entity
and
another physical
such that
the physical
is an
instance
of
corporation
and
the entity
is an
instance
of
agent
and
the symbolic string
is a
unique
ID
for
the other physical
with respect to
the physical
(=>
(
instance
?PROFILE
VisitorProfile
)
(
exists
(?USER ?SITE)
(
and
(
instance
?USER
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
forall
(?FORMULA)
(=>
(
and
(
member
?FORMULA ?PROFILE)
(
instance
?FORMULA
Formula
))
(
visitorParameter
?USER ?FORMULA ?SITE))))))
UXExperimentalTerms.kif 1140-1151
If
a collection
is an
instance
of
visitor profile
,
then there exist
an agent
and
a web site
such that
the agent
is an
instance
of
agent
and
the web site
is an
instance
of
web site
and for all
a formula
if
the formula
is a
member
of
the collection
and
the formula
is an
instance
of
formula
,
then
the formula
is
known
about
the agent
who visits
the web site
(=>
(
instance
?WAREHOUSE
DataWarehouse
)
(
hasPurpose
?WAREHOUSE
(
exists
(?AGENT)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
forall
(?DATA)
(
and
(
inScopeOfInterest
?DATA ?AGENT)
(
component
?DATA ?WAREHOUSE)))))))
UXExperimentalTerms.kif 2215-2224
If
a physical
is an
instance
of
data warehouse
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
agent
and for all
another entity
the other entity
is
interested
in
the entity
and
the other entity
is a
component
of
the physical
(=>
(
instance
?X
Vandalism
)
(
not
(
exists
(?A)
(
and
(
instance
?A
AutonomousAgent
)
(
patient
?X ?A)))))
Mid-level-ontology.kif 22127-22133
If
a process
is an
instance
of
vandalism
,
then there doesn't exist
an entity
such that
the entity
is an
instance
of
agent
and
the entity
is a
patient
of
the process
(=>
(
manner
?P
Solely
)
(
exists
(?H)
(
and
(
involvedInEvent
?P ?H)
(
instance
?H
AutonomousAgent
)
(
not
(
exists
(?H2)
(
and
(
involvedInEvent
?P ?H2)
(
instance
?H2
AutonomousAgent
)
(
not
(
equal
?H ?H2))))))))
Mid-level-ontology.kif 30207-30218
If
a process
is performed in the manner
Solely
,
then there exists
an entity
such that
the entity
is an
involved
in event of
the process
and
the entity
is an
instance
of
agent
and there doesn't exist
the entity
2 such that
the entity
2 is an
involved
in event of
the process
and
the entity
2 is an
instance
of
agent
and
the entity
is not
equal
to
the entity
2
(=>
(
userDatabase
?DATABASE ?WEBSITE)
(
exists
(?PART ?USERS)
(
and
(
instance
?USERS
Collection
)
(
part
?PART ?DATABASE)
(
represents
?PART ?USERS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?USERS)
(
and
(
instance
?MEMBER
AutonomousAgent
)
(
exists
(?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
patient
?ACCESSING
Page
)
(
agent
?ACCESSING
AutonomousAgent
)
(
component
?PAGE ?WEBSITE)))))))))
UXExperimentalTerms.kif 2173-2191
If
a database
is the
user
database
for
a web site
,
then there exist
an object
and
a collection
such that
the collection
is an
instance
of
collection
and
the object
is a
part
of
the database
and
the object
express
es
the collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
agent
and there exist
a process
and
a corpuscular object
such that
the process
is an
instance
of
accessing web page
and
the corpuscular object
is an
instance
of
web page
and
page
is a
patient
of
the process
and
agent
is an
agent
of
the process
and
the corpuscular object
is a
component
of
the web site
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