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
e' uma
instancia
de
Awarding
AutonomousAgent
AutonomousAgent
,
Processo
and
Processo
WARD
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Processo
e' uma
instancia
de
Processo
Processo
WARD e' uma
instancia
de
Objeto
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Processo
WARD e' um
patient
de
Processo
Processo
termina
em
AutonomousAgent
Processo
causa
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
Fisico
e' uma
instancia
de
BestMatchAlgorithm
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
SearchQuery
Entidade
e' uma
instancia
de
SearchAttempt
Entidade
define
Entidade
Entidade
e' um
patient
de
Fisico
Entidade
e' uma
instancia
de
AutonomousAgent
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Entidade
(=>
(
instance
?CATALOG
Catalog
)
(
exists
(?X)
(
and
(
instance
?X
AutonomousAgent
)
(
offers
?X ?CATALOG))))
Catalog.kif 36-41
Abstrato
e' uma
instancia
de
Catalog
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
offers
AutonomousAgent
and
Abstrato
(=>
(
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
e' uma
instancia
de
FinalValueFee
WebListing
Transacao Financeira
,
AutonomousAgent
,
Entidade
and
WebSite
WebListing
e' uma
instancia
de
WebListing
Transacao Financeira
e' uma
instancia
de
Vender
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Entidade
e' uma
instancia
de
Fisico
WebListing
e' uma
instancia
de
WebListing
Entidade
e' um
patient
de
WebListing
Entidade
e' um
patient
de
Transacao Financeira
Transacao Financeira
causa
Processo
Processo
e' um
agente
de
AutonomousAgent
hostedOn
WebListing
and
WebSite
AutonomousAgent
possui
WebSite
eCommerceSite
Transacao Financeira
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
e' uma
instancia
de
InsertionFee
Entidade
Processo
and
AutonomousAgent
Entidade
e' uma
instancia
de
WebListing
Processo
e' uma
instancia
de
ListOnSite
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
causa
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
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
Processo
e' uma
instancia
de
InsertionFee
WebSite
AutonomousAgent
and
WebListing
WebSite
e' uma
instancia
de
WebSite
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
WebListing
e' uma
instancia
de
WebListing
hostedOn
WebListing
and
WebSite
AutonomousAgent
possui
WebSite
Processo
e' um
agente
de
AutonomousAgent
(=>
(
instance
?D
Doll
)
(
exists
(?A)
(
and
(
instance
?A
AutonomousAgent
)
(
represents
?D ?A))))
Mid-level-ontology.kif 2398-2403
Entidade
e' uma
instancia
de
Doll
Entidade
Entidade
e' uma
instancia
de
AutonomousAgent
Entidade
define
Entidade
(=>
(
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
e' uma
instancia
de
Interacao Social
Entidade
Entidade
involvedInEvent
Processo
and
Entidade
involvedInEvent
Processo
and
Entidade
Entidade
e' uma
instancia
de
AutonomousAgent
Entidade
e' uma
instancia
de
AutonomousAgent
Entidade
e'
igual
a
Entidade
(=>
(
instance
?LGP
LargeGroupProcess
)
(
exists
(?G ?M)
(
and
(
instance
?G
Collection
)
(
member
?M ?G)
(
memberType
?G
AutonomousAgent
))))
Mid-level-ontology.kif 7932-7938
Entidade
e' uma
instancia
de
LargeGroupProcess
Colecao
Fisico
Colecao
e' uma
instancia
de
Colecao
Fisico
e'
membro
de
Colecao
memberType
Colecao
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
Sequencia Simbolica
e' uma
instancia
de
AccountNumber
Fisico
Entidade
and
Fisico
Fisico
e' uma
instancia
de
Empresa
Entidade
e' uma
instancia
de
AutonomousAgent
uniqueIdWithRespectTo
Fisico
,
Fisico
and
Sequencia Simbolica
(=>
(
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
Colecao
e' uma
instancia
de
VisitorProfile
AutonomousAgent
WebSite
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
WebSite
e' uma
instancia
de
WebSite
Formula
Formula
e'
membro
de
Colecao
Formula
e' uma
instancia
de
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
Fisico
e' uma
instancia
de
DataWarehouse
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
AutonomousAgent
Entidade
Entidade
esta'
interessado
em
Entidade
Entidade
e' um
componente
de
Fisico
(=>
(
instance
?X
Vandalism
)
(
not
(
exists
(?A)
(
and
(
instance
?A
AutonomousAgent
)
(
patient
?X ?A)))))
Mid-level-ontology.kif 22127-22133
Processo
e' uma
instancia
de
Vandalism
Entidade
Entidade
e' uma
instancia
de
AutonomousAgent
Entidade
e' um
patient
de
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
e' feito de forma
Solely
Entidade
involvedInEvent
Processo
and
Entidade
Entidade
e' uma
instancia
de
AutonomousAgent
Entidade
2
involvedInEvent
Processo
and
Entidade
2
Entidade
2 e' uma
instancia
de
AutonomousAgent
Entidade
e'
igual
a
Entidade
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
Objeto
Colecao
Colecao
e' uma
instancia
de
Colecao
Objeto
e' uma &parte de
Database
Objeto
define
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
AutonomousAgent
Processo
Objeto Corpuscular
Processo
e' uma
instancia
de
AccessingWebPage
Objeto Corpuscular
e' uma
instancia
de
WebPage
Page
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Objeto Corpuscular
e' um
componente
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