Buying - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3107-3108
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11080-11081
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6223-6223
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6226-6226
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6225-6225
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5896-5896
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6222-6222
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6224-6224
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11079-11079	Buying is internally related to selling
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11078-11078	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
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1506-1506

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11093-11105	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.	FinancialOntology.kif 1945-1963	If limit order is an attribute of a financial transaction 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.	Dining.kif 130-150	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 another object 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 other object 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 process is an instance of drinking and the other cognitive agent is an agent of the other process and the other object is a resource for the other process, then there exists a third process such that the third process is an instance of corkage and the other cognitive agent is an agent of the third process and the third process includes a reference to the other object and the third 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 11083-11087	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.	UXExperimentalTerms.kif 2144-2157	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 2133-2142	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 3158-3184	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 3201-3227	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 2045-2062	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 geopolitical area and the other object_LOCATION is an instance of geopolitical area 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 3871-3906	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 the other collection , then purchases made in the collection during a time interval is equal to the number of instances in the class described by an entity_IN_INTERVAL and the number of instances in the class described by another 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 3436-3440	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.	FinancialOntology.kif 1945-1963	If limit order is an attribute of a financial transaction 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.	Mid-level-ontology.kif 28186-28195	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 28197-28207	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 cognitive agent is an agent of the process and 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 3737-3746	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 interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3748-3758	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 1506-1518	If a process is an instance of add to cart and a cognitive agent is an instance of agent and an entity is an instance of object and the cognitive agent is an agent of the process and the entity is a patient of the process, then the 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 cognitive agent is an agent of the other entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3091-3106	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 3050-3074	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 3297-3316	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 3258-3275	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 2675-2687	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 3579-3611	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 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.	UXExperimentalTerms.kif 3158-3184	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 2545-2561	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 2609-2625	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 1451-1465	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 1032-1039	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 860-870	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 5122-5128	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 5109-5114	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 1848-1858	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: