Buying |
(=> (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 | |
(=> (attribute ?O NewItem) (not (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?O))))) |
Cars.kif 5150-5156 | |
(=> (attribute ?O UsedItem) (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?O)))) |
Cars.kif 5137-5142 | |
(=> (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 ?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 | |
(=> (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 | |
(=> (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 | |
(=> (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 | |
(=> (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 | |
(=> (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 | |
(=> (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 | |
(=> (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 | |
(=> (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 | |
(=> (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 | |
(=> (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 | |
(=> (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 | |
(=> (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 | |
(=> (webPurchases ?PURCHASES ?BUYER ?SITE) (forall (?BUYING) (=> (and (instance ?BUYING Buying) (agent ?BUYING ?BUYER) (eCommerceSite ?BUYING ?SITE)) (member ?BUYING ?PURCHASES)))) |
UXExperimentalTerms.kif 829-837 |