Buying
(acheter)
(=>
(
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
agent cognitif
,
collection
and
WebSite
physique
est une
instance
de
objet
physique
est un
membre
de
collection
agent cognitif
desire
entit�
entit�
est une
instance
de
acheter
physique
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
(=>
(
attribute
?O
NewItem
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O)))))
Cars.kif 5142-5148
NewItem
est un
attribut
de
objet
transf�re
transf�re
est une
instance
de
acheter
objectTransferred
transf�re
and
objet
(=>
(
attribute
?O
UsedItem
)
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O))))
Cars.kif 5129-5134
UsedItem
est un
attribut
de
objet
transf�re
transf�re
est une
instance
de
acheter
objectTransferred
transf�re
and
objet
(=>
(
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 9318-9330
USNonPrescriptionDrug
est un
attribut
de
objet
l'argument
entit�
entit�
est une
instance
de
acheter
objectTransferred
entit�
and
objet
entit�
entit�
est une
instance
de
Prescription
entit�
inclut une
r
�f�rence �
objet
a la
force
modale
de
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 9296-9308
USPrescriptionDrug
est un
attribut
de
objet
l'argument
entit�
entit�
est une
instance
de
acheter
objectTransferred
entit�
and
objet
entit�
entit�
est une
instance
de
Prescription
entit�
inclut une
r
�f�rence �
objet
a la
force
modale
de
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
objet
,
mesure de devise
and
AutonomousAgent
processus
processus
est une
instance
de
Offering
entit�
entit�
est une
instance
de
acheter
entit�
est un
agent
de
AutonomousAgent
objet
est un
patient
de
entit�
transactionAmount
entit�
and
mesure de devise
est un
patient
de
processus
(=>
(
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
,
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
?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 est une
instance
de
BestOffering
entit�
_OFFER
contient
information
entit�
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
acheter
entit�
est un
agent
de
entit�
entit�
est un
patient
de
entit�
transactionAmount
entit�
and
entit�
entit�
(s)
ContentBearingPhysical
ContentBearingPhysical
contient
information
entit�
2
entit�
2 and
entit�
entit�
2 est une
instance
de
acheter
entit�
2 est un
agent
de
entit�
2
entit�
est un
patient
de
entit�
2
transactionAmount
entit�
2 and
entit�
entit�
(s)
entit�
est
plus
grand
que
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
Processus
est une
instance
de
Checkout
processus
processus
est une
instance
de
acheter
processus
est un
sous
-processus de
processus
processus
processus
est un
sous
-processus de
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
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 29895-29915
Entit�
est une
instance
de
PurchaseOrder
cha�ne sympbolique
agent cognitif
,
agent cognitif
and
entit�
l'
unique
identifier de
cha�ne sympbolique
est
entit�
buys
agent cognitif
,
agent cognitif
and
entit�
agent cognitif
oblige
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
acheter
entit�
est une
instance
de
produit
objectTransferred
entit�
and
entit�
entit�
inclut une
r
�f�rence �
entit�
entit�
est un
agent
de
agent cognitif
agent cognitif
est un
patient
de
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
Processus
est une
instance
de
TransactionCollection
processus
processus
processus
est une
instance
de
acheter
processus
est un
sous
-processus de
processus
processus
est une
instance
de
acheter
processus
est un
sous
-processus de
processus
processus
est
processus
(=>
(
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 8406-8416
Objet
est une
instance
de
MilitarySurplus
physique
transf�re
transf�re
est une
instance
de
acheter
physique
est un
patient
de
transf�re
objectTransferred
transf�re
and
objet
physique
est une
instance
de
MilitaryOrganization
physique
est un
membre
de
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
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
(=>
(
price
?Obj ?Money ?Agent)
(
exists
(?Buying)
(
and
(
instance
?Buying
Buying
)
(
agent
?Buying ?Agent)
(
patient
?Buying ?Obj)
(
transactionAmount
?Buying ?Money))))
Mid-level-ontology.kif 7742-7749
price
physique
,
mesure de devise
and
AutonomousAgent
financial transaction
financial transaction
est une
instance
de
acheter
financial transaction
est un
agent
de
AutonomousAgent
physique
est un
patient
de
financial transaction
transactionAmount
financial transaction
and
mesure de devise
(=>
(
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
objet
,
secteur g�ographique
and
point temporel
l'argument
entit�
entit�
entit�
est une
instance
de
objet
entit�
est une
instance
de
acheter
eventLocated
entit�
and
secteur g�ographique
entit�
est un
patient
de
entit�
a la
force
modale
de
Possibility
pendant
immediatement
apr
�s
point temporel
(=>
(
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
objet
collection
and
cha�ne sympbolique
collection
est une
instance
de
collection
objet
est une
partie
de
Database
objet
d
�finie
collection
objet
objet
est un
membre
de
collection
objet
est une
instance
de
physique
objet
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
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
objet
and
AutonomousAgent
l'argument
processus
processus
est une
instance
de
acheter
objet
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
a la
force
modale
de
Promise
processus
processus
est une
instance
de
acheter
objet
est un
patient
de
processus
processus
est un
agent
de
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
collection
,
humain
and
WebSite
financial transaction
financial transaction
est une
instance
de
acheter
financial transaction
est un
agent
de
humain
eCommerceSite
financial transaction
and
WebSite
financial transaction
est un
membre
de
collection
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