Selling
(vendre)
(=>
(
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
Collection
est une
instance
de
organisation
WaterTransportationIndustry
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
AutonomousAgent
est une
instance
de
vendre
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
entit�
est une
instance
de
transporter
agent cognitif
est un
patient
de
entit�
agent cognitif
poss
�de
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
objet
collection
poss
�de
entit�
entit�
est une
instance
de
WaterVehicle
(=>
(
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
Collection
est une
instance
de
organisation
WholesaleTrade
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
processus
2 and
AutonomousAgent
2
AutonomousAgent
est une
instance
de
vendre
entit�
est une
instance
de
objet
entit�
est un
patient
de
AutonomousAgent
processus
2 est un
membre
de
collection
AutonomousAgent
2 est une
instance
de
vendre
AutonomousAgent
2 est un
agent
de
processus
2
entit�
est un
patient
de
AutonomousAgent
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
Collection
est une
instance
de
organisation
WoodProductManufacturing
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
objet corpusculaire
processus
2 and
AutonomousAgent
2
AutonomousAgent
est une
instance
de
manufacture
objet corpusculaire
est une
instance
de
Wood
Wood
est
fait
de
objet corpusculaire
objet corpusculaire
est un
patient
de
AutonomousAgent
processus
2 est un
membre
de
collection
AutonomousAgent
2 est une
instance
de
vendre
AutonomousAgent
2 est un
agent
de
processus
2
objet corpusculaire
est un
patient
de
AutonomousAgent
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 9278-9288
Entit�
est une
instance
de
Prescription
objet
est une
instance
de
Medicine
entit�
inclut une
r
�f�rence �
objet
entit�
HARM
transf�re
transf�re
est une
instance
de
vendre
objectTransferred
transf�re
and
objet
transf�re
est un
agent
de
entit�
HARM
Pharmacist
est un
attribut
de
transf�re
(=>
(
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 7830-7839
Processus
est une
instance
de
OfferingForSale
processus
est un
agent
de
AutonomousAgent
entit�
entit�
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
entit�
est un
agent
de
AutonomousAgent
est un
patient
de
processus
(=>
(
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
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
vendre
objet
objet
est une
instance
de
secteur g�opolitique
AutonomousAgent
processus
AutonomousAgent
est une
instance
de
AutonomousAgent
processus
est une
instance
de
acheter
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est
situ
� �
objet
cha�ne sympbolique
entit�
and
entit�
_SALE_AMOUNT
total
la
classe
d�crite par
cha�ne sympbolique
and
entit�
_SALE_AMOUNT
GMVFn
collection
est
entit�
_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
negotiatedPrice
physique
,
mesure de devise
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
l'argument
entit�
entit�
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
entit�
est une
instance
imm�diate de
physique
entit�
est un
agent
de
agent cognitif
entit�
aboutit
�
agent cognitif
transactionAmount
entit�
and
mesure de devise
a la
force
modale
de
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
offers
AutonomousAgent
and
abstrait
abstrait
est une
instance
de
attribut
l'argument
entit�
entit�
entit�
est une
instance
de
vendre
abstrait
est un
attribut
de
entit�
entit�
est un
patient
de
entit�
entit�
est un
agent
de
AutonomousAgent
a la
force
modale
de
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
offers
AutonomousAgent
and
Catalog
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
physique
l'argument
entit�
entit�
entit�
est une
instance
de
entit�
entit�
est une
instance
de
vendre
entit�
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
entit�
a la
force
modale
de
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
offers
AutonomousAgent
and
Catalog
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
proposition
l'argument
entit�
entit�
and
entit�
entit�
est une
instance
de
entit�
entit�
exprime
le contenu de
entit�
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
entit�
est un
agent
de
AutonomousAgent
a la
force
modale
de
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
publishedPrice
entit�
,
mesure de devise
,
agent cognitif
and
PricingScheme
unitPrice
entit�
,
function de quantit�
,
agent cognitif
and
PricingScheme
entit�
est une
sous
-classe de
physique
entit�
est une
instance
imm�diate de
entit�
validityPeriod
PricingScheme
and
interval temporel
l'argument
entit�
est une
instance
de
vendre
entit�
est un
agent
de
agent cognitif
entit�
est un
patient
de
entit�
transactionAmount
entit�
and
mesure de devise
a la
force
modale
de
Likely
pendant
interval temporel
(=>
(
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 2669-2685
Agreement
a un
attribute
Option
optionHolder
Agreement
and
agent cognitif
strikePrice
Agreement
and
mesure de devise
agreementExpirationDate
Agreement
and
interval temporel
price
FinancialInstrument
,
mesure de devise
and
AutonomousAgent
AutonomousAgent
est une
instance
de
interval temporel
la
fin
de
AutonomousAgent
se produit
avant
le
d
�but de
interval temporel
underlier
Agreement
and
FinancialInstrument
agent cognitif
a le
droit
d'executer la
classe
d�crite par
cha�ne sympbolique
(=>
(
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 2641-2659
Agreement
a un
attribute
Option
optionSeller
Agreement
and
agent cognitif
strikePrice
Agreement
and
mesure de devise
agreementExpirationDate
Agreement
and
interval temporel
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
mesure de devise
and
AutonomousAgent
AutonomousAgent
est une
instance
de
interval temporel
la
fin
de
AutonomousAgent
se produit
avant
le
d
�but de
interval temporel
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
webSales
?SALES ?SELLER ?SITE)
(
member
?SELLING ?SALES))
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE)))
UXExperimentalTerms.kif 934-941
webSales
collection
,
humain
and
WebSite
financial transaction
est un
membre
de
collection
financial transaction
est une
instance
de
vendre
financial transaction
est un
agent
de
humain
eCommerceSite
financial transaction
and
WebSite
(=>
(
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 1933-1943
askPrice
objet
,
mesure de devise
and
AutonomousAgent
processus
processus
est une
instance
de
Offering
entit�
entit�
est une
instance
de
vendre
entit�
est un
agent
de
AutonomousAgent
objet
est un
patient
de
entit�
transactionAmount
entit�
and
mesure de devise
est un
patient
de
processus
(=>
(
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 2353-2372
ArtsAndRecreationTicketingServices
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
entit�
est un
agent
de
objet
entit�
est une
instance
de
Ticket
entit�
aboutit
�
entit�
entit�
a pour
but
objet
autorise
entit�
� ex�cut� des t�ches du type
entit�
entit�
entit�
est une
instance
de
voir
entit�
est un
agent
de
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
Performance
entit�
est une
instance
de
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
GiftNoveltyAndSouvenirStores
est un
attribut
de
objet
objet
est une
instance
de
RetailStore
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
vendre
entit�
est un
agent
de
objet
entit�
est un
patient
de
entit�
entit�
est une
instance
de
objet
(=>
(
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 5747-5767
MeanOfProduction
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
faire
involvedInEvent
entit�
and
objet
objet
est le
resultat
de
entit�
entit�
est une
instance
de
artefact
entit�
est le
resultat
de
entit�
entit�
a pour
but
entit�
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
entit�
entit�
est une
instance
de
CommercialService
involvedInEvent
entit�
and
objet
(=>
(
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
NewsDealersAndNewsstands
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
Newspaper
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
entit�
est un
agent
de
objet
(=>
(
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
SnackAndNonalcoholicBeverageBars
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
FoodForFn
humain
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
entit�
est un
agent
de
objet
(=>
(
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 2998-3010
grossMerchandiseSoldInPeriod
AutonomousAgent
,
organisation
,
mesure de devise
and
interval temporel
valeur
de
physique
est
mesure de devise
physique
est une
instance
de la
classe
d�crite par
cha�ne sympbolique
(=>
(
instance
?ADVERT
Advertising
)
(
exists
(?OBJ)
(
and
(
refers
?ADVERT ?OBJ)
(
hasPurpose
?ADVERT
(
exists
(?SALE)
(
and
(
instance
?SALE
Selling
)
(
patient
?SALE ?OBJ)))))))
Merge.kif 13101-13106
Physique
est une
instance
de
promouvoir
entit�
physique
inclut une
r
�f�rence �
entit�
physique
a pour
but
entit�
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
(=>
(
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 29941-29948
Cha�ne sympbolique
est une
instance
de
InvoiceNumber
physique
AutonomousAgent
and
processus
physique
est une
instance
de
Invoice
processus
est une
instance
de
vendre
processus
est un
agent
de
AutonomousAgent
uniqueIdWithRespectTo
physique
,
AutonomousAgent
and
cha�ne sympbolique
(=>
(
instance
?BAKERY
Bakery
)
(
exists
(?SERVICE ?FOOD ?BAKE)
(
and
(
instance
?BAKE
Baking
)
(
result
?BAKE ?FOOD)
(
instance
?FOOD
(
FoodForFn
Human
))
(
agent
?BAKE ?BAKERY)
(
instance
?SERVICE
CommercialService
)
(
agent
?SERVICE ?BAKERY)
(
instance
?SERVICE
Selling
)
(
patient
?SERVICE ?FOOD))))
Dining.kif 70-81
AutonomousAgent
est une
instance
de
Bakery
processus
entit�
and
processus
processus
est une
instance
de
Baking
entit�
est le
resultat
de
processus
entit�
est une
instance
de
FoodForFn
humain
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
?C
Restaurant
)
(
exists
(?S ?F ?B)
(
and
(
instance
?S
CommercialService
)
(
agent
?S ?C)
(
instance
?S
Selling
)
(
instance
?B
RestaurantBuilding
)
(
eventLocated
?S ?B)
(
patient
?S ?F)
(
instance
?F
(
FoodForFn
Human
)))))
Mid-level-ontology.kif 7281-7291
AutonomousAgent
est une
instance
de
Restaurant
processus
entit�
and
objet
processus
est une
instance
de
CommercialService
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
vendre
objet
est une
instance
de
RestaurantBuilding
eventLocated
processus
and
objet
entit�
est un
patient
de
processus
entit�
est une
instance
de
FoodForFn
humain
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