Selling
(selling)
(=>
(
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
If
a process
is an
instance
of
final fee
,
then there exist
a web listing
,
a financial transaction
,, ,
an agent
,, ,
an entity
and
a web site
such that
the web listing
is an
instance
of
web listing
and
the financial transaction
is an
instance
of
selling
and
the agent
is an
instance
of
agent
and
the entity
is an
instance
of
physical
and
the web listing
is an
instance
of
web listing
and
the entity
is a
patient
of
the web listing
and
the entity
is a
patient
of
the financial transaction
and
the financial transaction
cause
s
the process
and
the agent
is an
agent
of
the process
and
the web listing
is
hosted
on
the web site
and
the agent
possess
es
the web site
and
the agent
facilitates
the financial transaction
(=>
(
instance
?COMPANY
Coffeeshop
)
(
exists
(?SERVICE ?BEVERAGE)
(
and
(
instance
?SERVICE
CommercialService
)
(
agent
?SERVICE ?COMPANY)
(
instance
?SERVICE
Selling
)
(
patient
?SERVICE ?BEVERAGE)
(
instance
?BEVERAGE
Coffee
))))
Dining.kif 36-44
If
an agent
is an
instance
of
coffee shop
,
then there exist
a process
and
an entity
such that
the process
is an
instance
of
commercial service
and
the agent
is an
agent
of
the process
and
the process
is an
instance
of
selling
and
the entity
is a
patient
of
the process
and
the entity
is an
instance
of
coffee
(=>
(
instance
?COMPANY
Tavern
)
(
exists
(?SERVICE ?BEVERAGE)
(
and
(
instance
?SERVICE
CommercialService
)
(
agent
?SERVICE ?COMPANY)
(
instance
?SERVICE
Selling
)
(
patient
?SERVICE ?BEVERAGE)
(
instance
?BEVERAGE
AlcoholicBeverage
))))
Mid-level-ontology.kif 7710-7718
If
an agent
is an
instance
of
tavern
,
then there exist
a process
and
an entity
such that
the process
is an
instance
of
commercial service
and
the agent
is an
agent
of
the process
and
the process
is an
instance
of
selling
and
the entity
is a
patient
of
the process
and
the entity
is an
instance
of
alcoholic beverage
(=>
(
instance
?D
DrugStore
)
(
exists
(?S ?M)
(
and
(
instance
?S
Selling
)
(
agent
?S ?D)
(
patient
?S ?M)
(
instance
?M
Medicine
))))
Mid-level-ontology.kif 7832-7839
If
an agent
is an
instance
of
drug store
,
then there exist
a process
and
an entity
such that
the process
is an
instance
of
selling
and
the agent
is an
agent
of
the process
and
the entity
is a
patient
of
the process
and
the entity
is an
instance
of
medicine
(=>
(
instance
?INVOICE
Invoice
)
(
exists
(?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT)
(
and
(
uniqueIdentifier
?NUMBER ?INVOICE)
(
buys
?BUYER ?SELLER ?ENT)
(
confersRight
(
exists
(?SELLING)
(
and
(
before
(
BeginFn
(
WhenFn
?INVOICE))
(
BeginFn
(
WhenFn
?SELLING)))
(
instance
?SELLING
Selling
)
(
instance
?PRODUCT
Product
)
(
objectTransferred
?SELLING ?PRODUCT)
(
refers
?INVOICE ?PRODUCT)
(
agent
?SELLING ?SELLER)
(
patient
?SELLING ?BUYER))) ?SELLER ?BUYER))))
Mid-level-ontology.kif 29892-29912
If
an entity
is an
instance
of
invoice
,
then there exist
a symbolic string
,
a cognitive agent
,, ,
an agent
,, ,
another entity
and
a third entity
such that the
unique
identifier of
the symbolic string
is
the entity
and
the cognitive agent
buys
the other entity
from
the agent
and
the agent
allow
s
the cognitive agent
to perform task of the type there exists
a fourth entity
such that the
beginning
of the
time
of existence of
the entity
happens
before
the
beginning
of the
time
of existence of
the fourth entity
and
the fourth entity
is an
instance
of
selling
and
the third entity
is an
instance
of
product
and the object transferred in
the fourth entity
is
the third entity
and
the entity
includes a
reference
to
the third entity
and
the agent
is an
agent
of
the fourth entity
and
the cognitive agent
is a
patient
of
the fourth entity
(=>
(
instance
?ORG
MercantileOrganization
)
(
hasPurpose
?ORG
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
instance
?SELL
CommercialService
)
(
agent
?SELL ?ORG)))))
Merge.kif 16285-16292
If
a physical
is an
instance
of
mercantile organization
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
selling
and
the entity
is an
instance
of
commercial service
and
the physical
is an
agent
of
the entity
(=>
(
instance
?PUB
Brewpub
)
(
exists
(?SERVICE ?BEER ?BREW)
(
and
(
instance
?BREW
Making
)
(
result
?BREW ?BEER)
(
instance
?BEER
Beer
)
(
agent
?BREW ?PUB)
(
instance
?SERVICE
CommercialService
)
(
agent
?SERVICE ?PUB)
(
instance
?SERVICE
Selling
)
(
patient
?SERVICE ?BEER))))
Dining.kif 51-62
If
an agent
is an
instance
of
Brewpub
,
then there exist
a process
,
an entity
and
another process
such that
the other process
is an
instance
of
making
and
the entity
is a
result
of
the other process
and
the entity
is an
instance
of
beer
and
the agent
is an
agent
of
the other process
and
the process
is an
instance
of
commercial service
and
the agent
is an
agent
of
the process
and
the process
is an
instance
of
selling
and
the entity
is a
patient
of
the process
(=>
(
instance
?STEAKHOUSE
Steakhouse
)
(
exists
(?SERVICE ?STEAK ?BEEF ?COOK)
(
and
(
instance
?COOK
Cooking
)
(
instance
?BEEF
Beef
)
(
resource
?COOK ?BEEF)
(
result
?COOK ?STEAK)
(
instance
?SERVICE
CommercialService
)
(
agent
?SERVICE ?STEAKHOUSE)
(
instance
?SERVICE
Selling
)
(
patient
?SERVICE ?STEAK))))
Dining.kif 88-99
If
an agent
is an
instance
of
steakhouse
,
then there exist
a process
,
an entity
,, ,
an object
and
another process
such that
the other process
is an
instance
of
cooking
and
the object
is an
instance
of
beef
and
the object
is a
resource
for
the other process
and
the entity
is a
result
of
the other process
and
the process
is an
instance
of
commercial service
and
the agent
is an
agent
of
the process
and
the process
is an
instance
of
selling
and
the entity
is a
patient
of
the process
(=>
(
instance
?STORE
GroceryStore
)
(
exists
(?SELL ?FOOD)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?STORE)
(
patient
?SELL ?FOOD)
(
instance
?FOOD
(
FoodForFn
Animal
)))))
Mid-level-ontology.kif 7845-7852
If
an agent
is an
instance
of
grocery store
,
then there exist
a process
and
an entity
such that
the process
is an
instance
of
selling
and
the agent
is an
agent
of
the process
and
the entity
is a
patient
of
the process
and
the entity
is an
instance
of
food
for
animal
(=>
(
instance
?STORE
WebStore
)
(
hasPurpose
?STORE
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
instrument
?SELLING ?STORE)))))
UXExperimentalTerms.kif 2133-2139
If
a physical
is an
instance
of
web store
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
selling
and
the physical
is an
instrument
for
the entity
(=>
(
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
(=>
(
instance
?X
RetailStore
)
(
and
(
capability
Selling
agent
?X)
(
exists
(?P ?EV)
(
and
(
instance
?EV
Selling
)
(
destination
?EV ?P)
(
instance
?P
Human
)))))
Mid-level-ontology.kif 7808-7816
If
an object
is an
instance
of
retail store
,
then
the object
is
capable
of doing
selling
as a
agent
and there exist
an entity
and
a process
such that
the process
is an
instance
of
selling
and
the process
end
s up at
the entity
and
the entity
is an
instance
of
human
(=>
(
potentialCustomer
?CUST ?AGENT)
(
exists
(?P ?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?AGENT)
(
patient
?SELLING ?P)
(
inScopeOfInterest
?CUST ?P))))
Dining.kif 810-817
If
a cognitive agent
is a
potential
customer
for
an agent
,
then there exist
an entity
and
a process
such that
the process
is an
instance
of
selling
and
the agent
is an
agent
of
the process
and
the entity
is a
patient
of
the process
and
the cognitive agent
is
interested
in
the entity
(=>
(
productPrice
?ENT ?PRICE ?AGENT)
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
immediateInstance
?I ?ENT)
(
patient
?S ?I)
(
agent
?S ?AGENT))
(
transactionAmount
?S ?PRICE))
Likely
))
Catalog.kif 419-428
If
a cognitive agent
sells
a kind of entity
for
a currency measure
,
then the statement
if
another entity
is an
instance
of
selling
and
a third entity
is an
immediate
instance of
a kind of entity
and
the third entity
is a
patient
of
the other entity
and
the cognitive agent
is an
agent
of
the other entity
,
then
the currency measure
is a
transaction
amount of
the other entity
has the
modal
force
of
likely
(=>
(
prohibitedItem
?ITEM ?SITE)
(
modalAttribute
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
eCommerceSite
?SELLING ?SITE)))
Prohibition
))
UXExperimentalTerms.kif 398-405
If
an object
is
prohibited
for sale on
a web site
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
selling
and
the web site
facilitates
the entity
has the
modal
force
of
prohibition
(=>
(
property
?C
PurchaseContract
)
(
exists
(?S ?SELLER ?BUYER)
(
and
(
instance
?S
Selling
)
(
agent
?S ?SELLER)
(
destination
?S ?BUYER)
(
realization
?S ?C)
(
partyToAgreement
?C ?SELLER)
(
partyToAgreement
?C ?BUYER))))
Mid-level-ontology.kif 14210-14219
If
a proposition
the
attribute
purchase contract
,
then there exist
a process
,
the process
ELLER and
another agreement
such that
the process
is an
instance
of
selling
and
the process
ELLER is an
agent
of
the process
and
the process
end
s up at
the other agreement
and
the process
express
es the content of
the proposition
and
the process
ELLER is a
party
to agreement of
the proposition
and
the other agreement
is a
party
to agreement of
the proposition
(=>
(
standardRetailHours
?TIMEINT ?AGENT)
(
exists
(?S ?T ?C)
(
and
(
instance
?S
Selling
)
(
instance
?T ?TIMEINT)
(
agent
?S ?AGENT)
(
customer
?C ?AGENT)
(
during
(
WhenFn
?S) ?T))))
Dining.kif 373-382
If the
standard
retail
hours
for
an agent
are
a kind of time interval
,
then there exist
a process
,
another time interval
and
a cognitive agent
such that
the process
is an
instance
of
selling
and
the other time interval
is an
instance
of
a kind of time interval
and
the agent
is an
agent
of
the process
and
the agent
is a
customer
of
the cognitive agent
and the
time
of existence of
the process
takes place
during
the other time interval
(=>
(
webSales
?SALES ?SELLER ?SITE)
(
forall
(?SELLING)
(=>
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE))
(
member
?SELLING ?SALES))))
UXExperimentalTerms.kif 924-932
If user
a human
at
a web site
has
sold
a collection
,
then for all
a financial transaction
if
the financial transaction
is an
instance
of
selling
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
(=>
(
webSeller
?SELLER ?SITE)
(
desires
?SELLER
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)))))
UXExperimentalTerms.kif 967-973
If
a human
is a
seller
at
a web site
,
then
the human
desire
s there exists
an entity
such that
the entity
is an
instance
of
selling
and
the human
is an
agent
of
the entity
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