Buying
(Acquistare)
(=>
(
and
(
webcart
?USER ?COLL ?SITE)
(
instance
?OBJ
Object
)
(
member
?OBJ ?COLL))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 690-700
webcart
AgenteCognitivo
,
InsiemeConcreto
and
WebSite
Entit�Concreta
è un'
istanza
di
Oggetto
Entit�Concreta
è un
membro
di
InsiemeConcreto
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Acquistare
Entit�Concreta
è un
paziente
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
(=>
(
attribute
?O
NewItem
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O)))))
Cars.kif 5150-5156
attribute
Oggetto
and
NewItem
Trasferimento
Trasferimento
è un'
istanza
di
Acquistare
objectTransferred
Trasferimento
and
Oggetto
(=>
(
attribute
?O
UsedItem
)
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O))))
Cars.kif 5137-5142
attribute
Oggetto
and
UsedItem
Trasferimento
Trasferimento
è un'
istanza
di
Acquistare
objectTransferred
Trasferimento
and
Oggetto
(=>
(
attribute
?X
USNonPrescriptionDrug
)
(
modalAttribute
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?X)
(
not
(
exists
(?P)
(
and
(
instance
?P
Prescription
)
(
refers
?P ?X))))))
Legal
))
Mid-level-ontology.kif 9317-9329
attribute
Oggetto
and
USNonPrescriptionDrug
l'affermazione
Entit�
Entit�
è un'
istanza
di
Acquistare
objectTransferred
Entit�
and
Oggetto
Entit�
Entit�
è un'
istanza
di
Prescription
Entit�
include un
riferimento
a
Oggetto
ha il modello di forza di
Legal
(=>
(
attribute
?X
USPrescriptionDrug
)
(
modalAttribute
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?X)
(
not
(
exists
(?P)
(
and
(
instance
?P
Prescription
)
(
refers
?P ?X))))))
Illegal
))
Mid-level-ontology.kif 9295-9307
attribute
Oggetto
and
USPrescriptionDrug
l'affermazione
Entit�
Entit�
è un'
istanza
di
Acquistare
objectTransferred
Entit�
and
Oggetto
Entit�
Entit�
è un'
istanza
di
Prescription
Entit�
include un
riferimento
a
Oggetto
ha il modello di forza di
Illegal
(=>
(
bidPrice
?Obj ?Money ?Agent)
(
exists
(?Offering)
(
and
(
instance
?Offering
Offering
)
(
patient
?Offering
(
exists
(?Buying)
(
and
(
instance
?Buying
Buying
)
(
agent
?Buying ?Agent)
(
patient
?Buying ?Obj)
(
transactionAmount
?Buying ?Money)))))))
FinancialOntology.kif 1912-1922
bidPrice
Oggetto
,
MisuraMonetaria
and
AutonomousAgent
Processo
Processo
è un'
istanza
di
Offering
Entit�
Entit�
è un'
istanza
di
Acquistare
Entit�
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Entit�
transactionAmount
Entit�
and
MisuraMonetaria
è un
paziente
di
Processo
(=>
(
grossMerchandiseBoughtInPeriod
?A ?O ?CM ?TP)
(
and
(
monetaryValue
?CI ?CM)
(
instance
?CI
(
KappaFn
?COL
(
and
(
instance
?B
Buying
)
(
instance
?ITEM ?COL)
(
agent
?B ?A)
(
patient
?B ?ITEM)
(
patient
?B ?O)
(
during
?B ?TP))))))
ComputerInput.kif 2974-2986
grossMerchandiseBoughtInPeriod
AutonomousAgent
,
Organizzazione
,
MisuraMonetaria
and
IntervalloTemporale
valore
di
Entit�Concreta
è
MisuraMonetaria
Entit�Concreta
è un'
istanza
di la
classe
descritta da
Stringa
(=>
(
instance
?BEST_OFFER
BestOffering
)
(
and
(
containsInformation
?BEST_OFFER
(
exists
(?BUYING ?AGENT ?OBJECT ?MONEY1 ?U)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?AGENT)
(
patient
?BUYING ?OBJECT)
(
transactionAmount
?BUYING
(
MeasureFn
?MONEY1 ?U)))))
(
not
(
exists
(?OFFER2)
(
containsInformation
?OFFER2
(
exists
(?BUYING2 ?AGENT2 ?MONEY2)
(
and
(
instance
?BUYING2
Buying
)
(
agent
?BUYING2 ?AGENT2)
(
patient
?BUYING2 ?OBJECT)
(
transactionAmount
?BUYING2
(
MeasureFn
?MONEY2 ?U))
(
greaterThan
?MONEY2 ?MONEY1))))))))
UXExperimentalTerms.kif 1654-1675
Entit�
_OFFER è un'
istanza
di
BestOffering
Entit�
_OFFER
contiene
s informazione
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Acquistare
Entit�
è un
agente
di
Entit�
Entit�
è un
paziente
di
Entit�
transactionAmount
Entit�
and
Entit�
Entit�
(s
ContentBearingPhysical
ContentBearingPhysical
contiene
s informazione
Entit�
2
Entit�
2 and
Entit�
Entit�
2 è un'
istanza
di
Acquistare
Entit�
2 è un
agente
di
Entit�
2
Entit�
è un
paziente
di
Entit�
2
transactionAmount
Entit�
2 and
Entit�
Entit�
(s
Entit�
è
pi
ù grande di
Entit�
(=>
(
instance
?CHECKOUT
Checkout
)
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
subProcess
?CHECKOUT ?BUYING)
(
not
(
exists
(?PROCESS)
(
and
(
subProcess
?PROCESS ?BUYING)
(
earlier
(
WhenFn
?CHECKOUT)
(
WhenFn
?PROCESS))))))))
UXExperimentalTerms.kif 1465-1475
Processo
è un'
istanza
di
Checkout
Processo
Processo
è un'
istanza
di
Acquistare
Processo
è un
sottoprocesso
di
Processo
Processo
Processo
è un
sottoprocesso
di
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
(=>
(
instance
?PO
PurchaseOrder
)
(
exists
(?NUMBER ?BUYER ?SELLER ?PRODUCT)
(
and
(
uniqueIdentifier
?NUMBER ?PO)
(
buys
?BUYER ?SELLER ?PRODUCT)
(
confersObligation
(
exists
(?BUYING)
(
and
(
before
(
BeginFn
(
WhenFn
?PO))
(
BeginFn
(
WhenFn
?BUYING)))
(
instance
?BUYING
Buying
)
(
instance
?PRODUCT
Product
)
(
objectTransferred
?BUYING ?PRODUCT)
(
refers
?PO ?PRODUCT)
(
agent
?BUYING ?BUYER)
(
patient
?BUYING ?SELLER))) ?BUYER ?SELLER))))
Mid-level-ontology.kif 29883-29903
Entit�
è un'
istanza
di
PurchaseOrder
Stringa
AgenteCognitivo
,
AgenteCognitivo
and
Entit�
l'
identificatore
unico di
Stringa
è
Entit�
buys
AgenteCognitivo
,
AgenteCognitivo
and
Entit�
AgenteCognitivo
obbliga
AgenteCognitivo
a 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
Acquistare
Entit�
è un'
istanza
di
Prodotto
objectTransferred
Entit�
and
Entit�
Entit�
include un
riferimento
a
Entit�
Entit�
è un
agente
di
AgenteCognitivo
AgenteCognitivo
è un
paziente
di
Entit�
(=>
(
instance
?PURCHASE
TransactionCollection
)
(
exists
(?SUBPROCESS1 ?SUBPROCESS2)
(
and
(
instance
?SUBPROCESS1
Buying
)
(
subProcess
?SUBPROCESS1 ?PURCHASE)
(
instance
?SUBPROCESS2
Buying
)
(
subProcess
?SUBPROCESS2 ?PURCHASE)
(
not
(
equal
?SUBPROCESS1 ?SUBPROCESS2)))))
UXExperimentalTerms.kif 1918-1927
Processo
è un'
istanza
di
TransactionCollection
Processo
Processo
Processo
è un'
istanza
di
Acquistare
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
Acquistare
Processo
è un
sottoprocesso
di
Processo
Processo
is
uguale
a
Processo
(=>
(
instance
?S
MilitarySurplus
)
(
exists
(?A ?B)
(
and
(
instance
?B
Buying
)
(
patient
?B ?A)
(
objectTransferred
?B ?S)
(
not
(
instance
?A
MilitaryOrganization
))
(
not
(
member
?A
MilitaryOrganization
)))))
Mid-level-ontology.kif 8405-8415
Oggetto
è un'
istanza
di
MilitarySurplus
Entit�Concreta
Trasferimento
Trasferimento
è un'
istanza
di
Acquistare
Entit�Concreta
è un
paziente
di
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Entit�Concreta
è un'
istanza
di
MilitaryOrganization
Entit�Concreta
è un
membro
di
MilitaryOrganization
(=>
(
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
(=>
(
price
?Obj ?Money ?Agent)
(
exists
(?Buying)
(
and
(
instance
?Buying
Buying
)
(
agent
?Buying ?Agent)
(
patient
?Buying ?Obj)
(
transactionAmount
?Buying ?Money))))
Mid-level-ontology.kif 7741-7748
price
Entit�Concreta
,
MisuraMonetaria
and
AutonomousAgent
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Acquistare
ScambioFinanziario
è un
agente
di
AutonomousAgent
Entit�Concreta
è un
paziente
di
ScambioFinanziario
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
(=>
(
releaseForSale
?OBJ ?AREA ?TIME)
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
modalAttribute
(
exists
(?O ?B)
(
and
(
instance
?O ?OBJ)
(
instance
?B
Buying
)
(
eventLocated
?B ?AREA)
(
patient
?B ?O)))
Possibility
)))
Music.kif 1499-1509
releaseForSale
Oggetto
,
AreaGeografica
and
PuntoTemporale
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è un'
istanza
di
Acquistare
eventLocated
Entit�
and
AreaGeografica
Entit�
è un
paziente
di
Entit�
ha il modello di forza di
Possibility
vales
durante
immediatamente
dopo
PuntoTemporale
(=>
(
siteCatalog
?DATABASE ?WEBSITE)
(
exists
(?PART ?PRODUCTS ?BUYING)
(
and
(
instance
?PRODUCTS
Collection
)
(
part
?PART ?DATABASE)
(
represents
?PART ?PRODUCTS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PRODUCTS)
(
and
(
instance
?MEMBER
Physical
)
(
capability
(
KappaFn
?BUYING
(
and
(
instance
?BUYING
Buying
)
(
eCommerceSite
?BUYING ?WEBSITE)))
patient
?MEMBER)))))))
UXExperimentalTerms.kif 2242-2259
siteCatalog
Database
and
WebSite
Oggetto
InsiemeConcreto
and
Stringa
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Oggetto
è una
parte
di
Database
Oggetto
esprime
InsiemeConcreto
Oggetto
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è un'
istanza
di
Entit�Concreta
Oggetto
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
patient
(=>
(
unpaidItem
?ITEM ?AGENT)
(
and
(
modalAttribute
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?ITEM)
(
agent
?BUYING ?AGENT)))
Promise
)
(
not
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?ITEM)
(
agent
?BUYING ?AGENT))))))
UXExperimentalTerms.kif 452-466
unpaidItem
Oggetto
and
AutonomousAgent
l'affermazione
Processo
Processo
è un'
istanza
di
Acquistare
Oggetto
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
ha il modello di forza di
Promise
Processo
Processo
è un'
istanza
di
Acquistare
Oggetto
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
(=>
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
forall
(?BUYING)
(=>
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE))
(
member
?BUYING ?PURCHASES))))
UXExperimentalTerms.kif 829-837
webPurchases
InsiemeConcreto
,
Umano
and
WebSite
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Acquistare
ScambioFinanziario
è un
agente
di
Umano
eCommerceSite
ScambioFinanziario
and
WebSite
ScambioFinanziario
è un
membro
di
InsiemeConcreto
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