Selling
(selling)
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WaterTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V ?OBJ)
(
and
(
instance
?T
Transportation
)
(
or
(
patient
?T ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?V)
(
instance
?V
WaterVehicle
))) ?MEM ?P))))))
naics.kif 8080-8105
If
a collection
is an
instance
of
organization
and
water transportation industry
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exists
a cognitive agent
such that
the agent
is an
instance
of
selling
and
the cognitive agent
is an
instance
of
human
and
the cognitive agent
is a
patient
of
the agent
and
the process
allow
s
the cognitive agent
to perform task of the type there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
transportation
and
the cognitive agent
is a
patient
of
the entity
or
the cognitive agent
possess
es
the third entity
and
the third entity
is a
patient
of
the entity
and
the third entity
is an
instance
of
object
and
the collection
possess
es
the other entity
and
the other entity
is an
instance
of
water vehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WholesaleTrade
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 6375-6391
If
a collection
is an
instance
of
organization
and
wholesale trade
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
an entity
,
the process
2 and
the agent
2 such that
the agent
is an
instance
of
selling
and
the entity
is an
instance
of
object
and
the entity
is a
patient
of
the agent
and
the process
2 is a
member
of
the collection
and
the agent
2 is an
instance
of
selling
and
the process
2 is an
agent
of
the agent
2 and
the entity
is a
patient
of
the agent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WoodProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Wood
)
(
material
Wood
?THING))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 2563-2581
If
a collection
is an
instance
of
organization
and
wood product manufacturing
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
a corpuscular object
,
the process
2 and
the agent
2 such that
the agent
is an
instance
of
manufacture
and
the corpuscular object
is an
instance
of
wood
or
the corpuscular object
is
made
of
wood
and
the corpuscular object
is a
patient
of
the agent
and
the process
2 is a
member
of
the collection
and
the agent
2 is an
instance
of
selling
and
the process
2 is an
agent
of
the agent
2 and
the corpuscular object
is a
patient
of
the agent
2
(=>
(
and
(
instance
?P
Prescription
)
(
instance
?M
Medicine
)
(
refers
?P ?M))
(
exists
(?PHARM ?S)
(
and
(
instance
?S
Selling
)
(
objectTransferred
?S ?M)
(
agent
?S ?PHARM)
(
attribute
?S
Pharmacist
))))
Mid-level-ontology.kif 10607-10617
If
an entity
is an
instance
of
prescription
and
an object
is an
instance
of
medicine
and
the entity
includes a
reference
to
the object
,
then there exist
the entity
HARM and
a transfer
such that
the transfer
is an
instance
of
selling
and the object transferred in
the transfer
is
the object
and
the entity
HARM is an
agent
of
the transfer
and
pharmacist
is an
attribute
of
the transfer
(=>
(
and
(
instance
?SALE
OfferingForSale
)
(
agent
?SALE ?AGENT))
(
patient
?SALE
(
exists
(?SELL ?OBJ)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?OBJ)
(
agent
?SELL ?AGENT)))))
Mid-level-ontology.kif 8997-9006
If
a process
is an
instance
of
offering for sale
and
an agent
is an
agent
of
the process
,
then there exist
an entity
and
another entity
such that
the entity
is an
instance
of
selling
and
the other entity
is a
patient
of
the entity
and
the agent
is an
agent
of
the entity
is a
patient
of
the process
(=>
(
and
(
instance
?SALES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?SALES)
(
instance
?MEMBER
Selling
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?SELLER ?SELLING)
(=>
(
and
(
instance
?SELLER
AutonomousAgent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
exists
(?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?SALE
Selling
)
(
member
?SALE ?SALES)
(
transactionAmount
?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
(
equal
(
GMVFn
?SALES) ?TOTAL_SALE_AMOUNT))))
UXExperimentalTerms.kif 2999-3026
If
a collection
is an
instance
of
collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
selling
and there exists
an object
such that
the object
is an
instance
of
geopolitical area
and for all
an agent
and
a process
if
the agent
is an
instance
of
agent
and
the process
is an
instance
of
buying
and
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
,
then
the agent
is
located
at
the object
,
then there exist
a symbolic string
,
an entity
and
another entity
_SALE_AMOUNT such that the
total
of values in the
class
described by
the symbolic string
is
the other entity
_SALE_AMOUNT and the
value
of
the collection
is
equal
to
the other entity
_SALE_AMOUNT
(=>
(
and
(
negotiatedPrice
?ENT ?PRICE ?AGREE)
(
partyToAgreement
?SELLER ?AGREE)
(
partyToAgreement
?BUYER ?AGREE))
(
modalAttribute
(
exists
(?S ?ITEM)
(
and
(
instance
?S
Selling
)
(
patient
?S ?ITEM)
(
immediateInstance
?ITEM ?ENT)
(
agent
?S ?SELLER)
(
destination
?S ?BUYER)
(
transactionAmount
?S ?PRICE)))
Promise
))
Catalog.kif 276-289
If the &egotiatedPrice$"price" negotiated for
a kind of physical
in
an agreement
is
a currency measure
and
the agreement
is a
party
to agreement of
a cognitive agent
and
the agreement
is a
party
to agreement of
another cognitive agent
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
selling
and
the other entity
is a
patient
of
the entity
and
the other entity
is an
immediate
instance of
a kind of physical
and
the cognitive agent
is an
agent
of
the entity
and
the entity
end
s up at
the other cognitive agent
and
the currency measure
is a
transaction
amount of
the entity
has the
modal
force
of
promise
(=>
(
and
(
offers
?AGENT ?ATTR)
(
instance
?ATTR
Attribute
))
(
modalAttribute
(
exists
(?OBJ ?SELL)
(
and
(
instance
?SELL
Selling
)
(
attribute
?OBJ ?ATTR)
(
patient
?SELL ?OBJ)
(
agent
?SELL ?AGENT)))
Possibility
))
Catalog.kif 109-119
If
an agent
offers
items for sale in
an abstract
and
the abstract
is an
instance
of
attribute
,
then the statement there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
selling
and
the abstract
is an
attribute
of
the entity
and
the entity
is a
patient
of
the other entity
and
the agent
is an
agent
of
the other entity
has the
modal
force
of
possibility
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?OBJ ?CATALOG)
(
subclass
?OBJ
Physical
))
(
modalAttribute
(
exists
(?S ?X)
(
and
(
instance
?X ?OBJ)
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?X)))
Possibility
))
Catalog.kif 51-62
If
an agent
offers
items for sale in
a catalog
and
a kind of entity
is in
the catalog
and
a kind of entity
is a
subclass
of
physical
,
then the statement there exist
another entity
and
a third entity
such that
the third entity
is an
instance
of
the kind of entity
and
the other entity
is an
instance
of
selling
and
the agent
is an
agent
of
the other entity
and
the third entity
is a
patient
of
the other entity
has the
modal
force
of
possibility
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?PROP ?CATALOG)
(
subclass
?PROP
Proposition
))
(
modalAttribute
(
exists
(?P ?S ?X)
(
and
(
instance
?P ?PROP)
(
realization
?X ?P)
(
instance
?S
Selling
)
(
patient
?S ?X)
(
agent
?S ?AGENT)))
Possibility
))
Catalog.kif 64-76
If
an agent
offers
items for sale in
a catalog
and
a kind of entity
is in
the catalog
and
a kind of entity
is a
subclass
of
proposition
,
then the statement there exist
another entity
,
a third entity
and
a fourth entity
such that
the other entity
is an
instance
of
the kind of entity
and
the fourth entity
express
es the content of
the other entity
and
the third entity
is an
instance
of
selling
and
the fourth entity
is a
patient
of
the third entity
and
the agent
is an
agent
of
the third entity
has the
modal
force
of
possibility
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validityPeriod
?PS ?TIMEINT))
(
holdsDuring
?TIMEINT
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?ITEM))
(
transactionAmount
?S ?PRICE))
Likely
)))
Catalog.kif 372-387
If the
price
of
a kind of entity
from
a cognitive agent
according to
a pricing scheme
is
a currency measure
or the
unit
price
charged
the cognitive agent
under
the pricing scheme
for
a function quantity
is
a kind of entity
and
the kind of entity
is a
subclass
of
physical
and
another entity
is an
immediate
instance of
the kind of entity
and
the pricing scheme
is
valid
during
a time interval
,
then the statement
if
a third entity
is an
instance
of
selling
and
the cognitive agent
is an
agent
of
the third entity
and
the other entity
is a
patient
of
the third entity
,
then
the currency measure
is a
transaction
amount of
the third entity
has the
modal
force
of
likely
holds
during
the time interval
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsRight
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Agent))
FinancialOntology.kif 2686-2702
If
an agreement
the
attribute
option
and
a cognitive agent
holds
the agreement
and
a currency measure
is a
strike
price of
the agreement
and
the agreement
has
expiration
a time interval
and
a financial instrument
is
price
the currency measure
for
an agent
and
the agent
is an
instance
of
time interval
and the
end
of
the agent
happens
before
the
beginning
of
the time interval
and
the financial instrument
is an
underlier
of
the agreement
,
then
the cognitive agent
has the
right
to perform the
class
described by
a symbolic string
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Seller)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2658-2676
If
an agreement
the
attribute
option
and
a cognitive agent
sells
the agreement
and
a currency measure
is a
strike
price of
the agreement
and
the agreement
has
expiration
a time interval
and
a financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the currency measure
for
an agent
and
the agent
is an
instance
of
time interval
and the
end
of
the agent
happens
before
the
beginning
of
the time interval
,
then
the cognitive agent
is
obliged
to perform tasks of type the
class
described by
a symbolic string
(=>
(
and
(
webSales
?SALES ?SELLER ?SITE)
(
member
?SELLING ?SALES))
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE)))
UXExperimentalTerms.kif 934-941
If user
a human
at
a web site
has
sold
a collection
and
a financial transaction
is a
member
of
the collection
,
then
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
(=>
(
askPrice
?Obj ?Money ?Agent)
(
exists
(?Offering)
(
and
(
instance
?Offering
Offering
)
(
patient
?Offering
(
exists
(?Selling)
(
and
(
instance
?Selling
Selling
)
(
agent
?Selling ?Agent)
(
patient
?Selling ?Obj)
(
transactionAmount
?Selling ?Money)))))))
FinancialOntology.kif 1950-1960
If
an agent
asks
for
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
selling
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
(=>
(
attribute
?OBJECT
ForSale
)
(
exists
(?CA ?S)
(
and
(
instance
?CA
CognitiveAgent
)
(
instance
?OBJECT
Object
)
(
capability
Selling
agent
?CA)
(
capability
Selling
patient
?OBJECT)
(
desires
?CA
(
and
(
instance
?S
Selling
)
(
agent
?S ?CA)
(
patient
?S ?OBJECT))))))
Economy.kif 6665-6677
If
for sale
is an
attribute
of
an object
,
then there exist
a cognitive agent
and
an entity
such that
the cognitive agent
is an
instance
of
cognitive agent
and
the object
is an
instance
of
object
and
the cognitive agent
is
capable
of doing
selling
as a
agent
and
the object
is
capable
of doing
selling
as a
patient
and
the cognitive agent
desire
s
the entity
is an
instance
of
selling
and
the cognitive agent
is an
agent
of
the entity
and
the object
is a
patient
of
the entity
(=>
(
attribute
?PROC
ServiceInEconomics
)
(
exists
(?S)
(
and
(
instance
?PROC
Process
)
(
hasPurpose
?PROC
(
and
(
instance
?S
Selling
)
(
patient
?S ?PROC))))))
Economy.kif 6890-6898
If
service
is an
attribute
of
an object
,
then there exists
an entity
such that
the object
is an
instance
of
process
and
the object
has the purpose
the entity
is an
instance
of
selling
and
the object
is a
patient
of
the entity
(=>
(
attribute
?X
ArtsAndRecreationTicketingServices
)
(
hasPurpose
?X
(
exists
(?SELL ?TICKET ?CUST)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?TICKET)
(
agent
?SELL ?X)
(
instance
?TICKET
Ticket
)
(
destination
?SELL ?CUST)
(
hasPurpose
?TICKET
(
confersRight
(
exists
(?WATCH ?PERF)
(
and
(
instance
?WATCH
Seeing
)
(
agent
?WATCH ?CUST)
(
patient
?WATCH ?PERF)
(
or
(
instance
?PERF
Performance
)
(
instance
?PERF
Sport
)))) ?X ?CUST))))))
Hotel.kif 2364-2383
If
arts and recreation tickets
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
selling
and
the other entity
is a
patient
of
the entity
and
the object
is an
agent
of
the entity
and
the other entity
is an
instance
of
ticket
and
the entity
end
s up at
the third entity
and
the other entity
has the purpose
the object
allow
s
the third entity
to perform task of the type there exist
a fourth entity
and
a fifth entity
such that
the fourth entity
is an
instance
of
seeing
and
the third entity
is an
agent
of
the fourth entity
and
the fifth entity
is a
patient
of
the fourth entity
and
the fifth entity
is an
instance
of
performance
or
the fifth entity
is an
instance
of
sport
(=>
(
attribute
?X
GiftNoveltyAndSouvenirStores
)
(
and
(
instance
?X
RetailStore
)
(
hasPurpose
?X
(
exists
(?SELL ?OBJ)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?X)
(
patient
?SELL ?OBJ)
(
instance
?OBJ
Object
))))))
naics.kif 7805-7815
If
gift novelty and souvenir stores
is an
attribute
of
an object
,
then
the object
is an
instance
of
retail store
and
the object
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
selling
and
the object
is an
agent
of
the entity
and
the other entity
is a
patient
of
the entity
and
the other entity
is an
instance
of
object
(=>
(
attribute
?X
MeanOfProduction
)
(
hasPurpose
?X
(
or
(
exists
(?MAKE ?PRODUCT)
(
and
(
instance
?MAKE
Making
)
(
involvedInEvent
?MAKE ?X)
(
not
(
result
?MAKE ?X))
(
instance
?PRODUCT
Artifact
)
(
result
?MAKE ?PRODUCT)
(
hasPurpose
?PRODUCT
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?PRODUCT))))))
(
exists
(?SERVICE)
(
and
(
instance
?SERVICE
CommercialService
)
(
involvedInEvent
?SERVICE ?X))))))
Economy.kif 6089-6109
If
mean of production
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
making
and
the object
is an
involved
in event of
the entity
and
the object
is not a
result
of
the entity
and
the other entity
is an
instance
of
artifact
and
the other entity
is a
result
of
the entity
and
the other entity
has the purpose there exists
a third entity
such that
the third entity
is an
instance
of
selling
and
the other entity
is a
patient
of
the third entity
or there exists
a fourth entity
such that
the fourth entity
is an
instance
of
commercial service
and
the object
is an
involved
in event of
the fourth entity
(=>
(
attribute
?X
NewsDealersAndNewsstands
)
(
hasPurpose
?X
(
exists
(?SELL ?NEWS)
(
and
(
instance
?NEWS
Newspaper
)
(
instance
?SELL
Selling
)
(
patient
?SELL ?NEWS)
(
agent
?SELL ?X)))))
naics.kif 7678-7686
If
news dealers and newsstands
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
newspaper
and
the entity
is an
instance
of
selling
and
the other entity
is a
patient
of
the entity
and
the object
is an
agent
of
the entity
(=>
(
attribute
?X
SnackAndNonalcoholicBeverageBars
)
(
hasPurpose
?X
(
exists
(?SELL ?FOOD)
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
instance
?SELL
Selling
)
(
patient
?SELL ?FOOD)
(
agent
?SELL ?X)))))
naics.kif 11668-11676
If
snack and nonalcoholic beverage bars
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
food
for
human
and
the entity
is an
instance
of
selling
and
the other entity
is a
patient
of
the entity
and
the object
is an
agent
of
the entity
(=>
(
grossMerchandiseSoldInPeriod
?A ?O ?CM ?TP)
(
and
(
monetaryValue
?CI ?CM)
(
instance
?CI
(
KappaFn
?COL
(
and
(
instance
?S
Selling
)
(
instance
?ITEM ?COL)
(
agent
?S ?A)
(
patient
?S ?ITEM)
(
patient
?S ?O)
(
during
?S ?TP))))))
ComputerInput.kif 3001-3013
If
GMV
an agent
,
an organization
,
a currency measure
and
a time interval
,
then
value
of
a physical
is
the currency measure
and
the physical
is an
instance
of the
class
described by
a symbolic string
(=>
(
instance
?ADVERT
Advertising
)
(
exists
(?OBJ)
(
and
(
refers
?ADVERT ?OBJ)
(
hasPurpose
?ADVERT
(
exists
(?SALE)
(
and
(
instance
?SALE
Selling
)
(
patient
?SALE ?OBJ)))))))
Merge.kif 13240-13245
If
a physical
is an
instance
of
advertising
,
then there exists
an entity
such that
the physical
includes a
reference
to
the entity
and
the physical
has the purpose there exists
another entity
such that
the other entity
is an
instance
of
selling
and
the entity
is a
patient
of
the other entity
(=>
(
instance
?AN
InvoiceNumber
)
(
exists
(?INVOICE ?SELLER ?SELLING)
(
and
(
instance
?INVOICE
Invoice
)
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
uniqueIdWithRespectTo
?INVOICE ?SELLER ?AN))))
Mid-level-ontology.kif 31835-31842
If
a symbolic string
is an
instance
of
invoice number
,
then there exist
a physical
,
an agent
and
a process
such that
the physical
is an
instance
of
invoice
and
the process
is an
instance
of
selling
and
the agent
is an
agent
of
the process
and
the symbolic string
is a
unique
ID
for
the agent
with respect to
the physical
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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
