consequent

(=>     (and         (firstTimeBuyers ?INT ?SITE ?COLL)         (member ?MEMBER ?COLL))     (exists (?BUYING)         (and             (instance ?BUYING Buying)             (agent ?BUYING ?MEMBER)             (eCommerceSite ?BUYING ?SITE)             (during                 (WhenFn ?BUYING) ?INT))))	UXExperimentalTerms.kif 3533-3542	If a collection are first time buyers on a web site during a time interval and an agent is a member of the collection, then there exists a financial transaction such that the financial transaction is an instance of buying and the agent is an agent of the financial transaction and the web site facilitates the financial transaction and the time of existence of the financial transaction takes place during the time interval
(=>     (and         (firstTimeBuyers ?INT ?SITE ?COLL)         (member ?MEMBER ?COLL))     (not         (exists (?BUYING)             (and                 (instance ?BUYING Buying)                 (agent ?BUYING ?MEMBER)                 (eCommerceSite ?BUYING ?SITE)                 (earlier                     (WhenFn ?BUYING) ?INT)))))	UXExperimentalTerms.kif 3544-3554	If a collection are first time buyers on a web site during a time interval and an agent is a member of the collection, then there doesn't exist a financial transaction such that the financial transaction is an instance of buying and the agent is an agent of the financial transaction and the web site facilitates the financial transaction and the time of existence of the financial transaction happens earlier than the time interval
(=>     (and         (firstTimeSellers ?INT ?SITE ?COLL)         (member ?MEMBER ?COLL))     (exists (?SELLING)         (and             (instance ?SELLING Selling)             (agent ?SELLING ?MEMBER)             (eCommerceSite ?SELLING ?SITE)             (during                 (WhenFn ?SELLING) ?INT))))	UXExperimentalTerms.kif 3581-3590	If a collection are first time sellers on a web site during a time interval and an agent is a member of the collection, then there exists a financial transaction such that the financial transaction is an instance of selling and the agent is an agent of the financial transaction and the web site facilitates the financial transaction and the time of existence of the financial transaction takes place during the time interval
(=>     (and         (firstTimeSellers ?INT ?SITE ?COLL)         (member ?MEMBER ?COLL))     (not         (exists (?SELLING)             (and                 (instance ?SELLING Selling)                 (agent ?SELLING ?MEMBER)                 (eCommerceSite ?SELLING ?SITE)                 (earlier                     (WhenFn ?SELLING) ?INT)))))	UXExperimentalTerms.kif 3592-3602	If a collection are first time sellers on a web site during a time interval and an agent is a member of the collection, then there doesn't exist a financial transaction such that the financial transaction is an instance of selling and the agent is an agent of the financial transaction and the web site facilitates the financial transaction and the time of existence of the financial transaction happens earlier than the time interval
(=>     (and         (instance ?COLL Collection)         (forall (?MEMBER)             (=>                 (member ?MEMBER ?COLL)                 (instance ?MEMBER WebListing))))     (exists (?LISTING ?SITE ?ITEM)         (equal             (DivisionFn                 (CardinalityFn                     (KappaFn ?LISTING                         (and                             (instance ?LISTING WebListing)                             (instance ?SITE WebSite)                             (instance ?ITEM Physical)                             (member ?LISTING ?COLL)                             (patient ?LISTING ?ITEM)                             (hostedOn ?LISTING ?SITE)                             (exists (?BUYING)                                 (and                                     (instance ?BUYING Buying)                                     (patient ?BUYING ?ITEM)                                     (eCommerceSite ?BUYING ?SITE))))))                 (CardinalityFn ?COLL))             (BidCountFn ?COLL))))	UXExperimentalTerms.kif 2845-2870	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of web listing , then there exist a symbolic string, an entity and another entity such that equal the number of instances in the class described by the symbolic string and the number of instances in the collection and number of bids in the collection
(=>     (and         (listingBuyer ?LISTING ?BUYER)         (instance ?OBJ Object)         (instance ?SITE WebSite)         (patient ?LISTING ?OBJECT)         (hostedOn ?LISTING ?SITE))     (exists (?BUYING)         (and             (instance ?BUYING Buying)             (patient ?BUYING ?OBJ)             (eCommerceSite ?BUYING ?SITE)             (agent ?BUYING ?BUYER))))	UXExperimentalTerms.kif 86-98	If an agent buys a web listing and an entity is an instance of object and a web site is an instance of web site and the entityECT is a patient of the web listing and the web listing is hosted on the web site, then there exists a financial transaction such that the financial transaction is an instance of buying and the entity is a patient of the financial transaction and the web site facilitates the financial transaction and the agent is an agent of the financial transaction
(=>     (and         (webPurchases ?PURCHASES ?BUYER ?SITE)         (member ?BUYING ?PURCHASES))     (and         (instance ?BUYING Buying)         (agent ?BUYING ?BUYER)         (eCommerceSite ?BUYING ?SITE)))	UXExperimentalTerms.kif 839-846	If user a human at a web site has bought a collection and a financial transaction is a member of the collection, then the financial transaction is an instance of buying and the human is an agent of the financial transaction and the web site facilitates the financial transaction
(=>     (and         (webSales ?SALES ?SELLER ?SITE)         (member ?SELLING ?SALES))     (and         (instance ?SELLING Selling)         (agent ?SELLING ?SELLER)         (eCommerceSite ?SELLING ?SITE)))	UXExperimentalTerms.kif 934-941	If user a human at a web site has sold a collection and a financial transaction is a member of the collection, then the financial transaction is an instance of selling and the human is an agent of the financial transaction and the web site facilitates the financial transaction
(=>     (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	If a process is an instance of final fee, then there exist a web listing, a financial transaction,, , an agent,, , an entity and a web site such that the web listing is an instance of web listing and the financial transaction is an instance of selling and the agent is an instance of agent and the entity is an instance of physical and the web listing is an instance of web listing and the entity is a patient of the web listing and the entity is a patient of the financial transaction and the financial transaction causes the process and the agent is an agent of the process and the web listing is hosted on the web site and the agent possesses the web site and the agent facilitates the financial transaction
(=>     (prohibitedItem ?ITEM ?SITE)     (modalAttribute         (exists (?SELLING)             (and                 (instance ?SELLING Selling)                 (eCommerceSite ?SELLING ?SITE))) Prohibition))	UXExperimentalTerms.kif 398-405	If an object is prohibited for sale on a web site, then the statement there exists an entity such that the entity is an instance of selling and the web site facilitates the entity has the modal force of prohibition
(=>     (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	If a database is the catalog for a web site, then there exist an object, a collection and a symbolic string such that the collection is an instance of collection and the object is a part of the database and the object expresses the collection and for all another object if the other object is a member of the collection, then the other object is an instance of physical and the other object is capable of doing the class described by the symbolic string as a patient
(=>     (webPurchases ?PURCHASES ?BUYER ?SITE)     (forall (?BUYING)         (=>             (and                 (instance ?BUYING Buying)                 (agent ?BUYING ?BUYER)                 (eCommerceSite ?BUYING ?SITE))             (member ?BUYING ?PURCHASES))))	UXExperimentalTerms.kif 829-837	If user a human at a web site has bought a collection, then for all a financial transaction if the financial transaction is an instance of buying and the human is an agent of the financial transaction and the web site facilitates the financial transaction, then the financial transaction is a member of the collection
(=>     (webSales ?SALES ?SELLER ?SITE)     (forall (?SELLING)         (=>             (and                 (instance ?SELLING Selling)                 (agent ?SELLING ?SELLER)                 (eCommerceSite ?SELLING ?SITE))             (member ?SELLING ?SALES))))	UXExperimentalTerms.kif 924-932	If user a human at a web site has sold a collection, then for all a financial transaction if the financial transaction is an instance of selling and the human is an agent of the financial transaction and the web site facilitates the financial transaction, then the financial transaction is a member of the collection

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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