Buying
(Comprar)
(=>
(
and
(
webcart
?USER ?COLL ?SITE)
(
instance
?OBJ
Object
)
(
member
?OBJ ?COLL))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 690-700
webcart
Agente Cognitivo
,
Colecao
and
WebSite
Fisico
e' uma
instancia
de
Objeto
Fisico
e'
membro
de
Colecao
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Comprar
Fisico
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
(=>
(
attribute
?O
NewItem
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O)))))
Cars.kif 5142-5148
NewItem
e' um
atributo
de
Objeto
Transferencia
Transferencia
e' uma
instancia
de
Comprar
objectTransferred
Transferencia
and
Objeto
(=>
(
attribute
?O
UsedItem
)
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O))))
Cars.kif 5129-5134
UsedItem
e' um
atributo
de
Objeto
Transferencia
Transferencia
e' uma
instancia
de
Comprar
objectTransferred
Transferencia
and
Objeto
(=>
(
attribute
?X
USNonPrescriptionDrug
)
(
modalAttribute
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?X)
(
not
(
exists
(?P)
(
and
(
instance
?P
Prescription
)
(
refers
?P ?X))))))
Legal
))
Mid-level-ontology.kif 9318-9330
USNonPrescriptionDrug
e' um
atributo
de
Objeto
o argumento
Entidade
Entidade
e' uma
instancia
de
Comprar
objectTransferred
Entidade
and
Objeto
Entidade
Entidade
e' uma
instancia
de
Prescription
Entidade
inclui uma
referencia
a
Objeto
tem a
forca
modal
de
Legal
(=>
(
attribute
?X
USPrescriptionDrug
)
(
modalAttribute
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?X)
(
not
(
exists
(?P)
(
and
(
instance
?P
Prescription
)
(
refers
?P ?X))))))
Illegal
))
Mid-level-ontology.kif 9296-9308
USPrescriptionDrug
e' um
atributo
de
Objeto
o argumento
Entidade
Entidade
e' uma
instancia
de
Comprar
objectTransferred
Entidade
and
Objeto
Entidade
Entidade
e' uma
instancia
de
Prescription
Entidade
inclui uma
referencia
a
Objeto
tem a
forca
modal
de
Illegal
(=>
(
bidPrice
?Obj ?Money ?Agent)
(
exists
(?Offering)
(
and
(
instance
?Offering
Offering
)
(
patient
?Offering
(
exists
(?Buying)
(
and
(
instance
?Buying
Buying
)
(
agent
?Buying ?Agent)
(
patient
?Buying ?Obj)
(
transactionAmount
?Buying ?Money)))))))
FinancialOntology.kif 1912-1922
bidPrice
Objeto
,
Medida de Divisa
and
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Offering
Entidade
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Entidade
transactionAmount
Entidade
and
Medida de Divisa
e' um
patient
de
Processo
(=>
(
grossMerchandiseBoughtInPeriod
?A ?O ?CM ?TP)
(
and
(
monetaryValue
?CI ?CM)
(
instance
?CI
(
KappaFn
?COL
(
and
(
instance
?B
Buying
)
(
instance
?ITEM ?COL)
(
agent
?B ?A)
(
patient
?B ?ITEM)
(
patient
?B ?O)
(
during
?B ?TP))))))
ComputerInput.kif 2974-2986
grossMerchandiseBoughtInPeriod
AutonomousAgent
,
Organizacao
,
Medida de Divisa
and
Intervalo Temporal
o
valor
de
Fisico
e'
Medida de Divisa
Fisico
e' uma
instancia
de a
classe
descrita por
Sequencia Simbolica
(=>
(
instance
?BEST_OFFER
BestOffering
)
(
and
(
containsInformation
?BEST_OFFER
(
exists
(?BUYING ?AGENT ?OBJECT ?MONEY1 ?U)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?AGENT)
(
patient
?BUYING ?OBJECT)
(
transactionAmount
?BUYING
(
MeasureFn
?MONEY1 ?U)))))
(
not
(
exists
(?OFFER2)
(
containsInformation
?OFFER2
(
exists
(?BUYING2 ?AGENT2 ?MONEY2)
(
and
(
instance
?BUYING2
Buying
)
(
agent
?BUYING2 ?AGENT2)
(
patient
?BUYING2 ?OBJECT)
(
transactionAmount
?BUYING2
(
MeasureFn
?MONEY2 ?U))
(
greaterThan
?MONEY2 ?MONEY1))))))))
UXExperimentalTerms.kif 1654-1675
Entidade
_OFFER e' uma
instancia
de
BestOffering
Entidade
_OFFER
contem
informacao
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
agente
de
Entidade
Entidade
e' um
patient
de
Entidade
transactionAmount
Entidade
and
Entidade
Entidade
(s)
ContentBearingPhysical
ContentBearingPhysical
contem
informacao
Entidade
2
Entidade
2 and
Entidade
Entidade
2 e' uma
instancia
de
Comprar
Entidade
2 e' um
agente
de
Entidade
2
Entidade
e' um
patient
de
Entidade
2
transactionAmount
Entidade
2 and
Entidade
Entidade
(s)
Entidade
e'
maior
que
Entidade
(=>
(
instance
?CHECKOUT
Checkout
)
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
subProcess
?CHECKOUT ?BUYING)
(
not
(
exists
(?PROCESS)
(
and
(
subProcess
?PROCESS ?BUYING)
(
earlier
(
WhenFn
?CHECKOUT)
(
WhenFn
?PROCESS))))))))
UXExperimentalTerms.kif 1465-1475
Processo
e' uma
instancia
de
Checkout
Processo
Processo
e' uma
instancia
de
Comprar
Processo
e' um
sub
-processo de
Processo
Processo
Processo
e' um
sub
-processo de
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
instance
?PO
PurchaseOrder
)
(
exists
(?NUMBER ?BUYER ?SELLER ?PRODUCT)
(
and
(
uniqueIdentifier
?NUMBER ?PO)
(
buys
?BUYER ?SELLER ?PRODUCT)
(
confersObligation
(
exists
(?BUYING)
(
and
(
before
(
BeginFn
(
WhenFn
?PO))
(
BeginFn
(
WhenFn
?BUYING)))
(
instance
?BUYING
Buying
)
(
instance
?PRODUCT
Product
)
(
objectTransferred
?BUYING ?PRODUCT)
(
refers
?PO ?PRODUCT)
(
agent
?BUYING ?BUYER)
(
patient
?BUYING ?SELLER))) ?BUYER ?SELLER))))
Mid-level-ontology.kif 29895-29915
Entidade
e' uma
instancia
de
PurchaseOrder
Sequencia Simbolica
Agente Cognitivo
,
Agente Cognitivo
and
Entidade
o
identificador
unico de
Sequencia Simbolica
e'
Entidade
buys
Agente Cognitivo
,
Agente Cognitivo
and
Entidade
Agente Cognitivo
obriga
Agente Cognitivo
a executar tarefas de tipo
Entidade
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
de
Comprar
Entidade
e' uma
instancia
de
Produto
objectTransferred
Entidade
and
Entidade
Entidade
inclui uma
referencia
a
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
e' um
patient
de
Entidade
(=>
(
instance
?PURCHASE
TransactionCollection
)
(
exists
(?SUBPROCESS1 ?SUBPROCESS2)
(
and
(
instance
?SUBPROCESS1
Buying
)
(
subProcess
?SUBPROCESS1 ?PURCHASE)
(
instance
?SUBPROCESS2
Buying
)
(
subProcess
?SUBPROCESS2 ?PURCHASE)
(
not
(
equal
?SUBPROCESS1 ?SUBPROCESS2)))))
UXExperimentalTerms.kif 1918-1927
Processo
e' uma
instancia
de
TransactionCollection
Processo
Processo
Processo
e' uma
instancia
de
Comprar
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Comprar
Processo
e' um
sub
-processo de
Processo
Processo
e'
igual
a
Processo
(=>
(
instance
?S
MilitarySurplus
)
(
exists
(?A ?B)
(
and
(
instance
?B
Buying
)
(
patient
?B ?A)
(
objectTransferred
?B ?S)
(
not
(
instance
?A
MilitaryOrganization
))
(
not
(
member
?A
MilitaryOrganization
)))))
Mid-level-ontology.kif 8406-8416
Objeto
e' uma
instancia
de
MilitarySurplus
Fisico
Transferencia
Transferencia
e' uma
instancia
de
Comprar
Fisico
e' um
patient
de
Transferencia
objectTransferred
Transferencia
and
Objeto
Fisico
e' uma
instancia
de
MilitaryOrganization
Fisico
e'
membro
de
MilitaryOrganization
(=>
(
instance
?Spread
SpreadOption
)
(
exists
(?Option1 ?Option2 ?Buy ?Sell ?Time)
(
and
(
instance
?Option1
Option
)
(
instance
?Option2
Option
)
(
instance
?Buy
Buying
)
(
instance
?Sell
Selling
)
(
subProcess
?Buy ?Spread)
(
subProcess
?Sell ?Spread)
(
patient
?Buy ?Option1)
(
patient
?Sell ?Option2)
(
time
?Buy ?Time)
(
time
?Sell ?Time))))
FinancialOntology.kif 3097-3110
Processo
e' uma
instancia
de
SpreadOption
Entidade
Entidade
,
Processo
,
Processo
and
Posicao Temporal
Entidade
e' uma
instancia
de
Option
Entidade
e' uma
instancia
de
Option
Processo
e' uma
instancia
de
Comprar
Processo
e' uma
instancia
de
Vender
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Processo
existe
durante
Posicao Temporal
Processo
existe
durante
Posicao Temporal
(=>
(
price
?Obj ?Money ?Agent)
(
exists
(?Buying)
(
and
(
instance
?Buying
Buying
)
(
agent
?Buying ?Agent)
(
patient
?Buying ?Obj)
(
transactionAmount
?Buying ?Money))))
Mid-level-ontology.kif 7742-7749
price
Fisico
,
Medida de Divisa
and
AutonomousAgent
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Comprar
Transacao Financeira
e' um
agente
de
AutonomousAgent
Fisico
e' um
patient
de
Transacao Financeira
transactionAmount
Transacao Financeira
and
Medida de Divisa
(=>
(
releaseForSale
?OBJ ?AREA ?TIME)
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
modalAttribute
(
exists
(?O ?B)
(
and
(
instance
?O ?OBJ)
(
instance
?B
Buying
)
(
eventLocated
?B ?AREA)
(
patient
?B ?O)))
Possibility
)))
Music.kif 1499-1509
releaseForSale
Objeto
,
Area Geografica
and
Ponto no tempo
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma
instancia
de
Comprar
eventLocated
Entidade
and
Area Geografica
Entidade
e' um
patient
de
Entidade
tem a
forca
modal
de
Possibility
vale
durante imediatemente
apos
Ponto no tempo
(=>
(
siteCatalog
?DATABASE ?WEBSITE)
(
exists
(?PART ?PRODUCTS ?BUYING)
(
and
(
instance
?PRODUCTS
Collection
)
(
part
?PART ?DATABASE)
(
represents
?PART ?PRODUCTS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PRODUCTS)
(
and
(
instance
?MEMBER
Physical
)
(
capability
(
KappaFn
?BUYING
(
and
(
instance
?BUYING
Buying
)
(
eCommerceSite
?BUYING ?WEBSITE)))
patient
?MEMBER)))))))
UXExperimentalTerms.kif 2242-2259
siteCatalog
Database
and
WebSite
Objeto
Colecao
and
Sequencia Simbolica
Colecao
e' uma
instancia
de
Colecao
Objeto
e' uma &parte de
Database
Objeto
define
Colecao
Objeto
Objeto
e'
membro
de
Colecao
Objeto
e' uma
instancia
de
Fisico
Objeto
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
patient
(=>
(
unpaidItem
?ITEM ?AGENT)
(
and
(
modalAttribute
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?ITEM)
(
agent
?BUYING ?AGENT)))
Promise
)
(
not
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?ITEM)
(
agent
?BUYING ?AGENT))))))
UXExperimentalTerms.kif 452-466
unpaidItem
Objeto
and
AutonomousAgent
o argumento
Processo
Processo
e' uma
instancia
de
Comprar
Objeto
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
tem a
forca
modal
de
Promise
Processo
Processo
e' uma
instancia
de
Comprar
Objeto
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
(=>
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
forall
(?BUYING)
(=>
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE))
(
member
?BUYING ?PURCHASES))))
UXExperimentalTerms.kif 829-837
webPurchases
Colecao
,
Humano
and
WebSite
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Comprar
Transacao Financeira
e' um
agente
de
Humano
eCommerceSite
Transacao Financeira
and
WebSite
Transacao Financeira
e'
membro
de
Colecao
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