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
Processo
è un'
istanza
di
Awarding
AutonomousAgent
AutonomousAgent
,
Processo
and
Processo
WARD
AutonomousAgent
è un'
istanza
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Processo
è un'
istanza
di
Processo
Processo
WARD è un'
istanza
di
Oggetto
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
Processo
WARD è un
paziente
di
Processo
Processo
fine
s in
AutonomousAgent
Processo
causa
s
Processo
(=>
(
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
Entit�Concreta
è un'
istanza
di
BestMatchAlgorithm
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
SearchQuery
Entit�
è un'
istanza
di
SearchAttempt
Entit�
esprime
Entit�
Entit�
è un
paziente
di
Entit�Concreta
Entit�
è un'
istanza
di
AutonomousAgent
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
Entit�
(=>
(
instance
?CATALOG
Catalog
)
(
exists
(?X)
(
and
(
instance
?X
AutonomousAgent
)
(
offers
?X ?CATALOG))))
Catalog.kif 36-41
Astratto
è un'
istanza
di
Catalog
AutonomousAgent
AutonomousAgent
è un'
istanza
di
AutonomousAgent
offers
AutonomousAgent
and
Astratto
(=>
(
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
Processo
è un'
istanza
di
FinalValueFee
WebListing
ScambioFinanziario
,
AutonomousAgent
,
Entit�
and
WebSite
WebListing
è un'
istanza
di
WebListing
ScambioFinanziario
è un'
istanza
di
Vendere
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Entit�
è un'
istanza
di
Entit�Concreta
WebListing
è un'
istanza
di
WebListing
Entit�
è un
paziente
di
WebListing
Entit�
è un
paziente
di
ScambioFinanziario
ScambioFinanziario
causa
s
Processo
Processo
è un
agente
di
AutonomousAgent
hostedOn
WebListing
and
WebSite
AutonomousAgent
possiede
es
WebSite
eCommerceSite
ScambioFinanziario
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
Processo
è un'
istanza
di
InsertionFee
Entit�
Processo
and
AutonomousAgent
Entit�
è un'
istanza
di
WebListing
Processo
è un'
istanza
di
ListOnSite
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
causa
s
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
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
Processo
è un'
istanza
di
InsertionFee
WebSite
AutonomousAgent
and
WebListing
WebSite
è un'
istanza
di
WebSite
AutonomousAgent
è un'
istanza
di
AutonomousAgent
WebListing
è un'
istanza
di
WebListing
hostedOn
WebListing
and
WebSite
AutonomousAgent
possiede
es
WebSite
Processo
è un
agente
di
AutonomousAgent
(=>
(
instance
?D
Doll
)
(
exists
(?A)
(
and
(
instance
?A
AutonomousAgent
)
(
represents
?D ?A))))
Mid-level-ontology.kif 2398-2403
Entit�
è un'
istanza
di
Doll
Entit�
Entit�
è un'
istanza
di
AutonomousAgent
Entit�
esprime
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
Processo
è un'
istanza
di
InterazioneSociale
Entit�
Entit�
involvedInEvent
Processo
and
Entit�
involvedInEvent
Processo
and
Entit�
Entit�
è un'
istanza
di
AutonomousAgent
Entit�
è un'
istanza
di
AutonomousAgent
Entit�
is
uguale
a
Entit�
(=>
(
instance
?LGP
LargeGroupProcess
)
(
exists
(?G ?M)
(
and
(
instance
?G
Collection
)
(
member
?M ?G)
(
memberType
?G
AutonomousAgent
))))
Mid-level-ontology.kif 7932-7938
Entit�
è un'
istanza
di
LargeGroupProcess
InsiemeConcreto
Entit�Concreta
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
memberType
InsiemeConcreto
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
Stringa
è un'
istanza
di
AccountNumber
Entit�Concreta
Entit�
and
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Corporazione
Entit�
è un'
istanza
di
AutonomousAgent
uniqueIdWithRespectTo
Entit�Concreta
,
Entit�Concreta
and
Stringa
(=>
(
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
InsiemeConcreto
è un'
istanza
di
VisitorProfile
AutonomousAgent
WebSite
AutonomousAgent
è un'
istanza
di
AutonomousAgent
WebSite
è un'
istanza
di
WebSite
Formula
Formula
è un
membro
di
InsiemeConcreto
Formula
è un'
istanza
di
Formula
visitorParameter
AutonomousAgent
,
Formula
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
Entit�Concreta
è un'
istanza
di
DataWarehouse
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
AutonomousAgent
Entit�
Entit�
è
interessato
a
Entit�
Entit�
è un
componente
di
Entit�Concreta
(=>
(
instance
?X
Vandalism
)
(
not
(
exists
(?A)
(
and
(
instance
?A
AutonomousAgent
)
(
patient
?X ?A)))))
Mid-level-ontology.kif 22127-22133
Processo
è un'
istanza
di
Vandalism
Entit�
Entit�
è un'
istanza
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
(=>
(
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
Processo
è eseguito nel modo
Solely
Entit�
involvedInEvent
Processo
and
Entit�
Entit�
è un'
istanza
di
AutonomousAgent
Entit�
2
involvedInEvent
Processo
and
Entit�
2
Entit�
2 è un'
istanza
di
AutonomousAgent
Entit�
is
uguale
a
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
Oggetto
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Oggetto
è una
parte
di
Database
Oggetto
esprime
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
AutonomousAgent
Processo
OggettoCorpuscolare
Processo
è un'
istanza
di
AccessingWebPage
OggettoCorpuscolare
è un'
istanza
di
WebPage
Page
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
OggettoCorpuscolare
è un
componente
di
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