Selling
(vendre)
(=>
(
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
Processus
est une
instance
de
FinalValueFee
WebListing
financial transaction
,
AutonomousAgent
,
entit�
and
WebSite
WebListing
est une
instance
de
WebListing
financial transaction
est une
instance
de
vendre
AutonomousAgent
est une
instance
de
AutonomousAgent
entit�
est une
instance
de
physique
WebListing
est une
instance
de
WebListing
entit�
est un
patient
de
WebListing
entit�
est un
patient
de
financial transaction
financial transaction
cause
processus
processus
est un
agent
de
AutonomousAgent
hostedOn
WebListing
and
WebSite
AutonomousAgent
poss
�de
WebSite
eCommerceSite
financial transaction
and
AutonomousAgent
(=>
(
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
AutonomousAgent
est une
instance
de
Coffeeshop
processus
entit�
processus
est une
instance
de
CommercialService
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
vendre
entit�
est un
patient
de
processus
entit�
est une
instance
de
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 7682-7690
AutonomousAgent
est une
instance
de
Tavern
processus
entit�
processus
est une
instance
de
CommercialService
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
vendre
entit�
est un
patient
de
processus
entit�
est une
instance
de
AlcoholicBeverage
(=>
(
instance
?D
DrugStore
)
(
exists
(?S ?M)
(
and
(
instance
?S
Selling
)
(
agent
?S ?D)
(
patient
?S ?M)
(
instance
?M
Medicine
))))
Mid-level-ontology.kif 7804-7811
AutonomousAgent
est une
instance
de
DrugStore
processus
entit�
processus
est une
instance
de
vendre
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
de
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 29856-29876
Entit�
est une
instance
de
Invoice
cha�ne sympbolique
agent cognitif
,
AutonomousAgent
,
entit�
and
entit�
l'
unique
identifier de
cha�ne sympbolique
est
entit�
buys
agent cognitif
,
AutonomousAgent
and
entit�
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
le
d
�but de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
entit�
est une
instance
de
vendre
entit�
est une
instance
de
produit
objectTransferred
entit�
and
entit�
entit�
inclut une
r
�f�rence �
entit�
entit�
est un
agent
de
AutonomousAgent
agent cognitif
est un
patient
de
entit�
(=>
(
instance
?ORG
MercantileOrganization
)
(
hasPurpose
?ORG
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
instance
?SELL
CommercialService
)
(
agent
?SELL ?ORG)))))
Merge.kif 16236-16243
Physique
est une
instance
de
MercantileOrganization
physique
a pour
but
entit�
entit�
est une
instance
de
vendre
entit�
est une
instance
de
CommercialService
entit�
est un
agent
de
physique
(=>
(
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
AutonomousAgent
est une
instance
de
Brewpub
processus
entit�
and
processus
processus
est une
instance
de
faire
entit�
est le
resultat
de
processus
entit�
est une
instance
de
Beer
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
CommercialService
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
vendre
entit�
est un
patient
de
processus
(=>
(
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
AutonomousAgent
est une
instance
de
Steakhouse
processus
entit�
,
objet
and
processus
processus
est une
instance
de
cuisiner
objet
est une
instance
de
Beef
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
processus
est une
instance
de
CommercialService
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
vendre
entit�
est un
patient
de
processus
(=>
(
instance
?STORE
GroceryStore
)
(
exists
(?SELL ?FOOD)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?STORE)
(
patient
?SELL ?FOOD)
(
instance
?FOOD
(
FoodForFn
Animal
)))))
Mid-level-ontology.kif 7817-7824
AutonomousAgent
est une
instance
de
GroceryStore
processus
entit�
processus
est une
instance
de
vendre
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
de
FoodForFn
animal
(=>
(
instance
?STORE
WebStore
)
(
hasPurpose
?STORE
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
instrument
?SELLING ?STORE)))))
UXExperimentalTerms.kif 2133-2139
Physique
est une
instance
de
WebStore
physique
a pour
but
entit�
entit�
est une
instance
de
vendre
physique
est un
instrument
pour
entit�
(=>
(
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
Processus
est une
instance
de
SpreadOption
entit�
entit�
,
processus
,
processus
and
position temporel
entit�
est une
instance
de
Option
entit�
est une
instance
de
Option
processus
est une
instance
de
acheter
processus
est une
instance
de
vendre
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
processus
existe
pendant
position temporel
processus
existe
pendant
position temporel
(=>
(
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 7780-7788
Objet
est une
instance
de
RetailStore
objet
est
capable
de faire
vendre
dans le r�le
agent
entit�
processus
processus
est une
instance
de
vendre
processus
aboutit
�
entit�
entit�
est une
instance
de
humain
(=>
(
potentialCustomer
?CUST ?AGENT)
(
exists
(?P ?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?AGENT)
(
patient
?SELLING ?P)
(
inScopeOfInterest
?CUST ?P))))
Dining.kif 810-817
potentialCustomer
agent cognitif
and
AutonomousAgent
entit�
processus
processus
est une
instance
de
vendre
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
agent cognitif
est
interess
� par
entit�
(=>
(
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
productPrice
entit�
,
mesure de devise
and
agent cognitif
l'argument
entit�
est une
instance
de
vendre
entit�
est une
instance
imm�diate de
entit�
entit�
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
transactionAmount
entit�
and
mesure de devise
a la
force
modale
de
Likely
(=>
(
prohibitedItem
?ITEM ?SITE)
(
modalAttribute
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
eCommerceSite
?SELLING ?SITE)))
Prohibition
))
UXExperimentalTerms.kif 398-405
prohibitedItem
objet
and
WebSite
l'argument
entit�
entit�
est une
instance
de
vendre
eCommerceSite
entit�
and
WebSite
a la
force
modale
de
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 14182-14191
Proposition
a un
attribute
PurchaseContract
processus
processus
ELLER and
Agreement
processus
est une
instance
de
vendre
processus
est un
agent
de
processus
ELLER
processus
aboutit
�
Agreement
processus
exprime
le contenu de
proposition
partyToAgreement
proposition
and
processus
ELLER
partyToAgreement
proposition
and
Agreement
(=>
(
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
standardRetailHours
interval temporel
and
AutonomousAgent
processus
interval temporel
and
agent cognitif
processus
est une
instance
de
vendre
interval temporel
est une
instance
de
interval temporel
processus
est un
agent
de
AutonomousAgent
customer
agent cognitif
and
AutonomousAgent
temps
d'existence de
processus
prend place
pendant
interval temporel
(=>
(
webSales
?SALES ?SELLER ?SITE)
(
forall
(?SELLING)
(=>
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE))
(
member
?SELLING ?SALES))))
UXExperimentalTerms.kif 924-932
webSales
collection
,
humain
and
WebSite
financial transaction
financial transaction
est une
instance
de
vendre
financial transaction
est un
agent
de
humain
eCommerceSite
financial transaction
and
WebSite
financial transaction
est un
membre
de
collection
(=>
(
webSeller
?SELLER ?SITE)
(
desires
?SELLER
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)))))
UXExperimentalTerms.kif 967-973
webSeller
humain
and
WebSite
humain
desire
entit�
entit�
est une
instance
de
vendre
entit�
est un
agent
de
humain
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