Buying
(buying)
(=>
(
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
If user
a cognitive agent
at
a web site
has
cart
a collection
and
a physical
is an
instance
of
object
and
the physical
is a
member
of
the collection
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
buying
and
the physical
is a
patient
of
the entity
and
the cognitive agent
is an
agent
of
the entity
(=>
(
attribute
?O
NewItem
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O)))))
Cars.kif 5142-5148
If
new
is an
attribute
of
an object
,
then there doesn't exist
a transfer
such that
the transfer
is an
instance
of
buying
and the object transferred in
the transfer
is
the object
(=>
(
attribute
?O
UsedItem
)
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O))))
Cars.kif 5129-5134
If
used
is an
attribute
of
an object
,
then there exists
a transfer
such that
the transfer
is an
instance
of
buying
and the object transferred in
the transfer
is
the object
(=>
(
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
If
OTC drug
is an
attribute
of
an object
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
buying
and the object transferred in
the entity
is
the object
and there doesn't exist
another entity
such that
the other entity
is an
instance
of
prescription
and
the other entity
includes a
reference
to
the object
has the
modal
force
of
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
If
prescription drug
is an
attribute
of
an object
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
buying
and the object transferred in
the entity
is
the object
and there doesn't exist
another entity
such that
the other entity
is an
instance
of
prescription
and
the other entity
includes a
reference
to
the object
has the
modal
force
of
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
If
an agent
bids
a currency measure
for
an object
,
then there exists
a process
such that
the process
is an
instance
of
offering
and there exists
an entity
such that
the entity
is an
instance
of
buying
and
the agent
is an
agent
of
the entity
and
the object
is a
patient
of
the entity
and
the currency measure
is a
transaction
amount of
the entity
is a
patient
of
the process
(=>
(
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
If the
value
of everything purchased by
an agent
for
an organization
during
a time interval
is
a currency measure
,
then
value
of
a physical
is
the currency measure
and
the physical
is an
instance
of the
class
described by
a symbolic string
(=>
(
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
If
an entity
_OFFER is an
instance
of
best offer
,
then
the entity
_OFFER
contain
s information there exist
another entity
,
a third entity
,, ,
a fourth entity
,, ,
a fifth entity
and
a sixth entity
such that
the other entity
is an
instance
of
buying
and
the third entity
is an
agent
of
the other entity
and
the fourth entity
is a
patient
of
the other entity
and
the fifth entity
the sixth entity
(s) is a
transaction
amount of
the other entity
and there doesn't exist
a content bearing physical
such that
the content bearing physical
contain
s information there exist
the other entity
2,
the third entity
2 and
a ninth entity
such that
the other entity
2 is an
instance
of
buying
and
the third entity
2 is an
agent
of
the other entity
2 and
the fourth entity
is a
patient
of
the other entity
2 and
the ninth entity
the sixth entity
(s) is a
transaction
amount of
the other entity
2 and
the ninth entity
is
greater
than
the fifth entity
(=>
(
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
If
a process
is an
instance
of
checkout
,
then there exists
another process
such that
the other process
is an
instance
of
buying
and
the process
is a
subprocess
of
the other process
and there doesn't exist
a third process
such that
the third process
is a
subprocess
of
the other process
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the third process
(=>
(
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
If
an entity
is an
instance
of
purchase order
,
then there exist
a symbolic string
,
a cognitive agent
,, ,
another cognitive agent
and
another entity
such that the
unique
identifier of
the symbolic string
is
the entity
and
the cognitive agent
buys
the other entity
from
the other cognitive agent
and
the cognitive agent
obligate
s
the other cognitive agent
to perform task of the type there exists
a third entity
such that the
beginning
of the
time
of existence of
the entity
happens
before
the
beginning
of the
time
of existence of
the third entity
and
the third entity
is an
instance
of
buying
and
the other entity
is an
instance
of
product
and the object transferred in
the third entity
is
the other entity
and
the entity
includes a
reference
to
the other entity
and
the cognitive agent
is an
agent
of
the third entity
and
the other cognitive agent
is a
patient
of
the third entity
(=>
(
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
If
a process
is an
instance
of
collection of transactions
,
then there exist
another process
and
a third process
such that
the other process
is an
instance
of
buying
and
the other process
is a
subprocess
of
the process
and
the third process
is an
instance
of
buying
and
the third process
is a
subprocess
of
the process
and
the other process
is not
equal
to
the third process
(=>
(
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
If
an object
is an
instance
of
military surplus
,
then there exist
a physical
and
a transfer
such that
the transfer
is an
instance
of
buying
and
the physical
is a
patient
of
the transfer
and the object transferred in
the transfer
is
the object
and
the physical
is not an
instance
of
military organization
and
the physical
is not a
member
of
military organization
(=>
(
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
If
a process
is an
instance
of
spread option
,
then there exist
an entity
,
another entity
,, ,
another process
,, ,
a third process
and
a time position
such that
the entity
is an
instance
of
option
and
the other entity
is an
instance
of
option
and
the other process
is an
instance
of
buying
and
the third process
is an
instance
of
selling
and
the other process
is a
subprocess
of
the process
and
the third process
is a
subprocess
of
the process
and
the entity
is a
patient
of
the other process
and
the other entity
is a
patient
of
the third process
and
the other process
exists
during
the time position
and
the third process
exists
during
the time position
(=>
(
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
If
a physical
is
price
a currency measure
for
an agent
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
buying
and
the agent
is an
agent
of
the financial transaction
and
the physical
is a
patient
of
the financial transaction
and
the currency measure
is a
transaction
amount of
the financial transaction
(=>
(
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
If
a kind of object
was
released
for
sale
in
a geographic area
at
a time point
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
a kind of object
and
the other entity
is an
instance
of
buying
and
the other entity
is
located
at
the geographic area
and
the entity
is a
patient
of
the other entity
has the
modal
force
of
possibility
holds
during
immediately
after
the time point
(=>
(
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
If
a database
is the
catalog
for
a web site
,
then there exist
an object
,
a collection
and
a symbolic string
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
another object
if
the other object
is a
member
of
the collection
,
then
the other object
is an
instance
of
physical
and
the other object
is
capable
of doing the
class
described by
the symbolic string
as a
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
If
an agent
didn
't
buy
an object
,
then the statement there exists
a process
such that
the process
is an
instance
of
buying
and
the object
is a
patient
of
the process
and
the agent
is an
agent
of
the process
has the
modal
force
of
promise
and there doesn't exist
the process
such that
the process
is an
instance
of
buying
and
the object
is a
patient
of
the process
and
the agent
is an
agent
of
the process
(=>
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
forall
(?BUYING)
(=>
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE))
(
member
?BUYING ?PURCHASES))))
UXExperimentalTerms.kif 829-837
If user
a human
at
a web site
has
bought
a collection
,
then for all
a financial transaction
if
the financial transaction
is an
instance
of
buying
and
the human
is an
agent
of
the financial transaction
and
the web site
facilitates
the financial transaction
,
then
the financial transaction
is a
member
of
the collection
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