Buying - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16221-16222
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16219-16220
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6223-6223	"http://upload.wikimedia.org/wikipedia/commons/2/20/ Buying_clogs.jpg" is a URL depicting buying
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6226-6226	"http://upload.wikimedia.org/wikipedia/commons/3/3e/ Old_lady_buying_flowers.JPG" is a URL depicting buying
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6225-6225	"http://upload.wikimedia.org/wikipedia/commons/8/8d/ People_buying_tickets.jpeg" is a URL depicting buying
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5896-5896	"http://upload.wikimedia.org/wikipedia/commons/8/8f/ Maximinus_denarius.jpg" is a URL depicting buying
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6222-6222	"http://upload.wikimedia.org/wikipedia/commons/c/c2/ Commerce-alimentation-generale-paris.jpg" is a URL depicting buying
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6224-6224	"http://upload.wikimedia.org/wikipedia/commons/e/e8/ Buying_food.jpg" is a URL depicting buying
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16218-16218	Buying is internally related to selling
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16217-16217	Buying is a subclass of financial transaction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1142-1142	"购买" is the printable form of buying in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	english_format.kif 2135-2135	"buying" is the printable form of buying in english language
No TPTP formula. May not be expressible in strict first order.	english_format.kif 2136-2136	"購買" is the printable form of buying in japanese language

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16236-16248	There exists a process such that the process is an instance of buying and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of selling and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-153	If a cognitive agent is a customer of another cognitive agent and the cognitive agent charges a currency measure in corkage for a kind of object and an entity is an instance of a kind of object and there doesn't exist a process such that the process is an instance of buying and the entity is a patient of the process and the process ends up at the other cognitive agent and the process originates at the cognitive agent and another entity is an instance of intentional process and the entity is a patient of the other entity or the entity is a resource for the other entity or the entity is an instrument for the other entity and the other cognitive agent is an agent of the other entity holds during the time of existence of the other cognitive agent is located at a third entity, then there exists another process such that the other process is an instance of corkage and the other cognitive agent is an agent of the other process and the other process ends up at the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 322-337	If a process is an instance of buying and an entity is a patient of the process and the process originates at a cognitive agent and the price of another kind of entity from the cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is another kind of entity and the other kind of entity is a subclass of physical and the entity is an immediate instance of the other kind of entity and a kind of payment is a valid payment under the pricing scheme, then the statement there exists a kind of paymentMENT such that the kind of paymentMENT is an instance of the kind of payment and the kind of paymentMENT is a subprocess of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16224-16228	If a process is an instance of buying and an agent is an agent of the process, then the process ends up at the agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1946-1964	If a financial transaction is an instance of limit order and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for buying for a security and the measure of the security is a physical quantity and a currency measure is a limit price of the financial transaction and an agent asks for another currency measure for the security and the other currency measure is less than or equal to the currency measure, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2146-2159	If a process is an instance of collection of transactions and another process is an instance of buying and a third process is an instance of buying and the other process is a subprocess of the process and the third process is a subprocess of the process and an agent is an agent of the process and an object is an instrument for the process, then the agent is an agent of the other process and the agent is an agent of the third process and the object is an instrument for the other process and the object is an instrument for the third process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2135-2144	If a process is an instance of collection of transactions and another process is an instance of buying and a third process is an instance of buying and the other process is a subprocess of the process and the third process is a subprocess of the process, then the time of existence of the other process is equal to the time of existence of the third process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3160-3186	If a collection is an instance of collection and for all an object if the object is a member of the collection, then the object is an instance of buying and there exists another object such that the other object is an instance of geopolitical area and for all an agent and a third object if the agent is an instance of agent and the third object is an instance of buying and the third object is a member of the collection and the agent is an agent of the third object, then the agent is located at the other object , then the total of values in the class described by a symbolic string is an entity_PURCHASE_AMOUNT and the value of the collection is equal to the entity_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3203-3229	If a collection is an instance of collection and for all an object if the object is a member of the collection, then the object is an instance of selling and there exists another object such that the other object is an instance of geopolitical area and for all an agent and a third object if the agent is an instance of agent and the third object is an instance of buying and the third object is a member of the collection and the agent is an agent of the third object, then the agent is located at the other object , then the total of values in the class described by a symbolic string is an entity_SALE_AMOUNT and the value of the collection is equal to the entity_SALE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2047-2064	If an object is an instance of buying and cross border trade is an attribute of the object and an entity is a patient of the object and the entity is an instance of object, then there exist another object, an agent,, , the agent_LOCATION and the other object_LOCATION such that the agent is an instance of agent and the other object is an instance of agent and the agent is an agent of the object and the object originates at the other object and the agent_LOCATION is an instance of GeoPoliticalArea and the other object_LOCATION is an instance of GeoPoliticalArea and the other object is located at the other object_LOCATION and the agent is located at the agent_LOCATION and the agent_LOCATION is not equal to the other object_LOCATION
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3864-3899	If a collection is an instance of collection and another collection is an instance of collection and the other collection is a proper sub-collection of the collection and for all an object if the object is a member of the collection, then the object is an instance of AccessingWebPage and for all a process, an agent,, , another object,, , the process and a third object if the agent is an instance of human and the process is an instance of buying and the other object is an instance of AccessingWebPage and the third object is an instance of WebPage and the other object is a member of the collection and the other object ends up at the third object and the agent is an agent of the process and the agent is an agent of the other object and the time of existence of the process takes place during the time of existence of the other object and the third object is an instrument for the process, then the process is a member of an entity_PURCHASES , then purchases made in the collection during a time interval is equal to the number of instances in the class described by another entity_IN_INTERVAL and the number of instances in the class described by a third entity_IN_INTERVAL
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 415-427	If a cognitive agent sells a kind of entity for a currency measure and the price of a kind of entity from the cognitive agent according to a pricing scheme is another currency measure and the pricing scheme is valid for a kind of agent and another entity is an instance of the kind of entity and a process is an instance of buying and another agent is an immediate instance of a kind of agent and the other agent is an agent of the process and the process originates at the cognitive agent and the other currency measure is less than the currency measure, then the statement the currency measure is a transaction amount of the process has the modal force of likely

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3438-3442	If the average price of a collection and an object is a member of the collection, then the object is an instance of buying
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28130-28139	If a cognitive agent buys an entity from another cognitive agent and the entity is an instance of physical, then there exists a process such that the process is an instance of buying and the entity is a patient of the process and the cognitive agent is an agent of the process and the process originates at the other cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28141-28150	If a cognitive agent buys a proposition from another cognitive agent and the proposition is an instance of proposition, then there exist a process and another process such that the other process expresses the content of the proposition and the process is an instance of buying and the other process is a patient of the process and the process originates at the other cognitive agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3730-3739	If a collection are first time buyers on a WebSite 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 WebSite facilitates the financial transaction and the time of existence of the financial transaction takes place during the time intervalE
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3741-3751	If a collection are first time buyers on a WebSite 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 WebSite facilitates the financial transaction and the time of existence of the financial transaction happens earlier than the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1509-1521	If a process is an instance of add to cart and an agent is an instance of agent and an entity is an instance of object and the agent is an agent of the process and the entity is a patient of the process, then a cognitive agent desires there exists another entity such that the other entity is an instance of buying and the entity is a patient of the other entity and the agent is an agent of the other entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3093-3108	If a collection is an instance of collection and for all an object if the object is a member of the collection, then the object is an instance of financial transaction , then the number of instances in the class described by a symbolic string is equal to number of items purchased in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3052-3076	If a collection is an instance of collection and for all an object if the object is a member of the collection, then the object is an instance of web listing , then the number of instances in the class described by a symbolic string and the number of instances in the collection is equal to number of bids in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3299-3318	If an experimenting is an instance of experimenting and a time interval is an instance of time interval, then the number of instances in the class described by a symbolic string and the number of instances in the class described by another symbolic string is equal to purchases per user in the experimenting during the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3260-3277	If an experimenting is an instance of experimenting and an entity is an instance of time interval, then the number of instances in the class described by a symbolic string and the number of instances in the class described by another symbolic string is equal to purchases per user in the experimenting
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2674-2686	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement the attribute call option and the process exists during a time position and a financial instrument is an underlier of the agreement, then there exists another process such that the other process is an instance of buying and the financial instrument is a patient of the other process and the other process exists during the time position and the measure of the financial instrument is 100 ShareUnit(s)
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3570-3603	If a time interval is an instance of time interval and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and an entity is an instance of time interval and for all an agent if the agent is a member of the collection, then there exists another time interval such that the agent is an instance of agent and the other time interval is an instance of buying and the agent is an agent of the other time interval and the WebSite is an instrument for the other time interval and the other time interval takes place during the time interval and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and there exists the other time interval_BEFORE such that the other time interval_BEFORE is an instance of buying and the agent is an agent of the other time interval_BEFORE and the WebSite is an instrument for the other time interval_BEFORE and the other time interval_BEFORE takes place during the time interval holds during the time interval_BEFORE and new buyers at the WebSite during the time interval is equal to the collection
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1946-1964	If a financial transaction is an instance of limit order and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for buying for a security and the measure of the security is a physical quantity and a currency measure is a limit price of the financial transaction and an agent asks for another currency measure for the security and the other currency measure is less than or equal to the currency measure, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3160-3186	If a collection is an instance of collection and for all an object if the object is a member of the collection, then the object is an instance of buying and there exists another object such that the other object is an instance of geopolitical area and for all an agent and a third object if the agent is an instance of agent and the third object is an instance of buying and the third object is a member of the collection and the agent is an agent of the third object, then the agent is located at the other object , then the total of values in the class described by a symbolic string is an entity_PURCHASE_AMOUNT and the value of the collection is equal to the entity_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 105-117	If an agent buys a web listing and an entity is an instance of object and a WebSite is an instance of WebSite and the entityECT is a patient of the web listing and the web listing is hosted on the WebSite, 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 WebSite facilitates the financial transaction and the agent is an agent of the financial transaction
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 295-309	If the price negotiated for a kind of entity in an agreement is a currency measure and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent, then there exists another entity such that the cognitive agent has the responsibility to make if the other entity is an instance of buying and a third entity is a patient of the other entity and the third entity is an immediate instance of a kind of entity and the other cognitive agent is an agent of the other entity and the other entity originates at the cognitive agent, then the currency measure is a transaction amount of the other entity obligation in the agreement
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 339-355	If the price of a kind of entity from a cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is a kind of entity and the kind of entity is a subclass of physical and another entity is an immediate instance of the kind of entity and the pricing scheme is valid for a kind of agent and a third entity is an instance of a kind of agent, then the statement if a fourth entity is an instance of buying and the third entity is an agent of the fourth entity and the fourth entity originates at the cognitive agent and the other entity is a patient of the fourth entity, then the currency measure is a transaction amount of the fourth entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2546-2562	If an agreement the attribute option and a cognitive agent holds the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is an underlier of the agreement and the financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval, then the cognitive agent has the right to perform the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2608-2624	If an agreement the attribute option and a cognitive agent sells the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval and the financial instrument is an underlier of the agreement, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1454-1468	If user an agent on a WebSite is watching a collection and a process is an instance of web listing and an entity is an instance of object and the entity is a patient of the process and the process is a member of the collection, then the statement the agent desires there exists another entity such that the other entity is an instance of buying and the entity is a patient of the other entity and the agent is an agent of the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1034-1041	If user a human at a WebSite has bought a collection and an object is a member of the collection, then the object is an instance of buying and the human is an agent of the object and the WebSite facilitates the object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 864-874	If user a cognitive agent at a WebSite has cart a collection and an object is an instance of object and the object is a member of the collection, then the cognitive agent desires there exists an entity such that the entity is an instance of buying and the object is a patient of the entity and the cognitive agent is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5113-5119	If new is an attribute of an object, then there doesn't exist a transfer such that the transfer is an instance of buying and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5100-5105	If used is an attribute of an object, then there exists a transfer such that the transfer is an instance of buying and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1850-1860	If an agent bids a currency measure for an object, then there exists a process such that the process is an instance of offering and there exists an entity such that the entity is an instance of buying and the agent is an agent of the entity and the object is a patient of the entity and the currency measure is a transaction amount of the entity is a patient of the process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: