Selling
(Vendere)
(=>
(
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
Processo
è un'
istanza
di
FinalValueFee
WebListing
ScambioFinanziario
,
AutonomousAgent
,
Entit�
and
WebSite
WebListing
è un'
istanza
di
WebListing
ScambioFinanziario
è un'
istanza
di
Vendere
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Entit�
è un'
istanza
di
Entit�Concreta
WebListing
è un'
istanza
di
WebListing
Entit�
è un
paziente
di
WebListing
Entit�
è un
paziente
di
ScambioFinanziario
ScambioFinanziario
causa
s
Processo
Processo
è un
agente
di
AutonomousAgent
hostedOn
WebListing
and
WebSite
AutonomousAgent
possiede
es
WebSite
eCommerceSite
ScambioFinanziario
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
è un'
istanza
di
Coffeeshop
Processo
Entit�
Processo
è un'
istanza
di
CommercialService
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
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
è un'
istanza
di
Tavern
Processo
Entit�
Processo
è un'
istanza
di
CommercialService
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
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
è un'
istanza
di
DrugStore
Processo
Entit�
Processo
è un'
istanza
di
Vendere
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
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�
è un'
istanza
di
Invoice
Stringa
AgenteCognitivo
,
AutonomousAgent
,
Entit�
and
Entit�
l'
identificatore
unico di
Stringa
è
Entit�
buys
AgenteCognitivo
,
AutonomousAgent
and
Entit�
AutonomousAgent
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un'
istanza
di
Prodotto
objectTransferred
Entit�
and
Entit�
Entit�
include un
riferimento
a
Entit�
Entit�
è un
agente
di
AutonomousAgent
AgenteCognitivo
è un
paziente
di
Entit�
(=>
(
instance
?ORG
MercantileOrganization
)
(
hasPurpose
?ORG
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
instance
?SELL
CommercialService
)
(
agent
?SELL ?ORG)))))
Merge.kif 16236-16243
Entit�Concreta
è un'
istanza
di
MercantileOrganization
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un'
istanza
di
CommercialService
Entit�
è un
agente
di
Entit�Concreta
(=>
(
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
è un'
istanza
di
Brewpub
Processo
Entit�
and
Processo
Processo
è un'
istanza
di
Fabbricazione
Entit�
è un
risultato
di
Processo
Entit�
è un'
istanza
di
Beer
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
CommercialService
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Processo
(=>
(
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
è un'
istanza
di
Steakhouse
Processo
Entit�
,
Oggetto
and
Processo
Processo
è un'
istanza
di
Cucinare
Oggetto
è un'
istanza
di
Beef
Oggetto
è una
risorsa
per
Processo
Entit�
è un
risultato
di
Processo
Processo
è un'
istanza
di
CommercialService
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Processo
(=>
(
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
è un'
istanza
di
GroceryStore
Processo
Entit�
Processo
è un'
istanza
di
Vendere
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
FoodForFn
Animale
(=>
(
instance
?STORE
WebStore
)
(
hasPurpose
?STORE
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
instrument
?SELLING ?STORE)))))
UXExperimentalTerms.kif 2133-2139
Entit�Concreta
è un'
istanza
di
WebStore
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�Concreta
è uno
strumento
per
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
Processo
è un'
istanza
di
SpreadOption
Entit�
Entit�
,
Processo
,
Processo
and
PosizioneTemporale
Entit�
è un'
istanza
di
Option
Entit�
è un'
istanza
di
Option
Processo
è un'
istanza
di
Acquistare
Processo
è un'
istanza
di
Vendere
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
Processo
esistes
durante
PosizioneTemporale
Processo
esistes
durante
PosizioneTemporale
(=>
(
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
Oggetto
è un'
istanza
di
RetailStore
Oggetto
è
capace
di fare
Vendere
nel ruolo
agent
Entit�
Processo
Processo
è un'
istanza
di
Vendere
Processo
fine
s in
Entit�
Entit�
è un'
istanza
di
Umano
(=>
(
potentialCustomer
?CUST ?AGENT)
(
exists
(?P ?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?AGENT)
(
patient
?SELLING ?P)
(
inScopeOfInterest
?CUST ?P))))
Dining.kif 810-817
potentialCustomer
AgenteCognitivo
and
AutonomousAgent
Entit�
Processo
Processo
è un'
istanza
di
Vendere
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
AgenteCognitivo
è
interessato
a
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�
,
MisuraMonetaria
and
AgenteCognitivo
l'affermazione
Entit�
è un'
istanza
di
Vendere
%è una
istanza
immediata
Likely
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
transactionAmount
Entit�
and
MisuraMonetaria
ha il modello di forza di
Likely
(=>
(
prohibitedItem
?ITEM ?SITE)
(
modalAttribute
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
eCommerceSite
?SELLING ?SITE)))
Prohibition
))
UXExperimentalTerms.kif 398-405
prohibitedItem
Oggetto
and
WebSite
l'affermazione
Entit�
Entit�
è un'
istanza
di
Vendere
eCommerceSite
Entit�
and
WebSite
ha il modello di forza di
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
Proposizione
ha un
attributo
PurchaseContract
Processo
Processo
ELLER and
Agreement
Processo
è un'
istanza
di
Vendere
Processo
è un
agente
di
Processo
ELLER
Processo
fine
s in
Agreement
Processo
esprime
il contenuto di
Proposizione
partyToAgreement
Proposizione
and
Processo
ELLER
partyToAgreement
Proposizione
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
IntervalloTemporale
and
AutonomousAgent
Processo
IntervalloTemporale
and
AgenteCognitivo
Processo
è un'
istanza
di
Vendere
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Processo
è un
agente
di
AutonomousAgent
customer
AgenteCognitivo
and
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
(=>
(
webSales
?SALES ?SELLER ?SITE)
(
forall
(?SELLING)
(=>
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE))
(
member
?SELLING ?SALES))))
UXExperimentalTerms.kif 924-932
webSales
InsiemeConcreto
,
Umano
and
WebSite
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Vendere
ScambioFinanziario
è un
agente
di
Umano
eCommerceSite
ScambioFinanziario
and
WebSite
ScambioFinanziario
è un
membro
di
InsiemeConcreto
(=>
(
webSeller
?SELLER ?SITE)
(
desires
?SELLER
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)))))
UXExperimentalTerms.kif 967-973
webSeller
Umano
and
WebSite
Umano
desidera
s
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
agente
di
Umano
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