AutonomousAgent
(=>
(
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
Processus
est une
instance
de
Awarding
AutonomousAgent
AutonomousAgent
,
processus
and
processus
WARD
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
processus
est une
instance
de
processus
processus
WARD est une
instance
de
objet
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
processus
WARD est un
patient
de
processus
processus
aboutit
�
AutonomousAgent
processus
cause
processus
(=>
(
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
Physique
est une
instance
de
BestMatchAlgorithm
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
SearchQuery
entit�
est une
instance
de
SearchAttempt
entit�
d
�finie
entit�
entit�
est un
patient
de
physique
entit�
est une
instance
de
AutonomousAgent
entit�
est un
patient
de
entit�
entit�
est un
agent
de
entit�
(=>
(
instance
?CATALOG
Catalog
)
(
exists
(?X)
(
and
(
instance
?X
AutonomousAgent
)
(
offers
?X ?CATALOG))))
Catalog.kif 36-41
Abstrait
est une
instance
de
Catalog
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
offers
AutonomousAgent
and
abstrait
(=>
(
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
Processus
est une
instance
de
FinalValueFee
WebListing
financial transaction
,
AutonomousAgent
,
entit�
and
WebSite
WebListing
est une
instance
de
WebListing
financial transaction
est une
instance
de
vendre
AutonomousAgent
est une
instance
de
AutonomousAgent
entit�
est une
instance
de
physique
WebListing
est une
instance
de
WebListing
entit�
est un
patient
de
WebListing
entit�
est un
patient
de
financial transaction
financial transaction
cause
processus
processus
est un
agent
de
AutonomousAgent
hostedOn
WebListing
and
WebSite
AutonomousAgent
poss
�de
WebSite
eCommerceSite
financial transaction
and
AutonomousAgent
(=>
(
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
Processus
est une
instance
de
InsertionFee
entit�
processus
and
AutonomousAgent
entit�
est une
instance
de
WebListing
processus
est une
instance
de
ListOnSite
AutonomousAgent
est une
instance
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
cause
processus
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
(=>
(
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
Processus
est une
instance
de
InsertionFee
WebSite
AutonomousAgent
and
WebListing
WebSite
est une
instance
de
WebSite
AutonomousAgent
est une
instance
de
AutonomousAgent
WebListing
est une
instance
de
WebListing
hostedOn
WebListing
and
WebSite
AutonomousAgent
poss
�de
WebSite
processus
est un
agent
de
AutonomousAgent
(=>
(
instance
?D
Doll
)
(
exists
(?A)
(
and
(
instance
?A
AutonomousAgent
)
(
represents
?D ?A))))
Mid-level-ontology.kif 2398-2403
Entit�
est une
instance
de
Doll
entit�
entit�
est une
instance
de
AutonomousAgent
entit�
d
�finie
entit�
(=>
(
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
Processus
est une
instance
de
interaction social
entit�
entit�
involvedInEvent
processus
and
entit�
involvedInEvent
processus
and
entit�
entit�
est une
instance
de
AutonomousAgent
entit�
est une
instance
de
AutonomousAgent
entit�
est
entit�
(=>
(
instance
?LGP
LargeGroupProcess
)
(
exists
(?G ?M)
(
and
(
instance
?G
Collection
)
(
member
?M ?G)
(
memberType
?G
AutonomousAgent
))))
Mid-level-ontology.kif 7932-7938
Entit�
est une
instance
de
LargeGroupProcess
collection
physique
collection
est une
instance
de
collection
physique
est un
membre
de
collection
memberType
collection
and
AutonomousAgent
(=>
(
instance
?NUMBER
AccountNumber
)
(
exists
(?CORPORATION ?AGENT ?HUMAN)
(
and
(
instance
?CORPORATION
Corporation
)
(
instance
?AGENT
AutonomousAgent
)
(
uniqueIdWithRespectTo
?CORPORATION ?HUMAN ?NUMBER))))
Mid-level-ontology.kif 29930-29936
Cha�ne sympbolique
est une
instance
de
AccountNumber
physique
entit�
and
physique
physique
est une
instance
de
corporation
entit�
est une
instance
de
AutonomousAgent
uniqueIdWithRespectTo
physique
,
physique
and
cha�ne sympbolique
(=>
(
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
Collection
est une
instance
de
VisitorProfile
AutonomousAgent
WebSite
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
formule
formule
est un
membre
de
collection
formule
est une
instance
de
formule
visitorParameter
AutonomousAgent
,
formule
and
WebSite
(=>
(
instance
?WAREHOUSE
DataWarehouse
)
(
hasPurpose
?WAREHOUSE
(
exists
(?AGENT)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
forall
(?DATA)
(
and
(
inScopeOfInterest
?DATA ?AGENT)
(
component
?DATA ?WAREHOUSE)))))))
UXExperimentalTerms.kif 2215-2224
Physique
est une
instance
de
DataWarehouse
physique
a pour
but
entit�
entit�
est une
instance
de
AutonomousAgent
entit�
entit�
est
interess
� par
entit�
entit�
est un
composant
de
physique
(=>
(
instance
?X
Vandalism
)
(
not
(
exists
(?A)
(
and
(
instance
?A
AutonomousAgent
)
(
patient
?X ?A)))))
Mid-level-ontology.kif 22127-22133
Processus
est une
instance
de
Vandalism
entit�
entit�
est une
instance
de
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
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
Processus
est ex�cut� de la fa�on
Solely
entit�
involvedInEvent
processus
and
entit�
entit�
est une
instance
de
AutonomousAgent
entit�
2
involvedInEvent
processus
and
entit�
2
entit�
2 est une
instance
de
AutonomousAgent
entit�
est
entit�
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
userDatabase
Database
and
WebSite
objet
collection
collection
est une
instance
de
collection
objet
est une
partie
de
Database
objet
d
�finie
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
AutonomousAgent
processus
objet corpusculaire
processus
est une
instance
de
AccessingWebPage
objet corpusculaire
est une
instance
de
WebPage
Page
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
objet corpusculaire
est un
composant
de
WebSite
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