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 11135-11136
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 11134-11134	Buying is internally related to selling
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11133-11133	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 11148-11160	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 1958-1979	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 real number an unit of measure(s) is a limit price of the financial transaction and the unit of measure is an instance of UnitOfCurrency and an agent asks for another real number the unit of measure(s) for the security and the other real number is less than or equal to the real number, 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 328-343	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 11138-11142	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 2149-2162	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 2138-2147	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 3163-3189	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 3206-3232	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 2050-2067	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 3876-3911	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 421-436	If a cognitive agent sells a kind of entity for a real number an unit of measure(s) and the unit of measure is an instance of UnitOfCurrency and the price of a kind of entity from the cognitive agent according to a pricing scheme is another real number the unit of measure(s) 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 real number is less than the real number, then the statement the real number 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 3441-3445	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 1958-1979	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 real number an unit of measure(s) is a limit price of the financial transaction and the unit of measure is an instance of UnitOfCurrency and an agent asks for another real number the unit of measure(s) for the security and the other real number is less than or equal to the real number, 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 26193-26202	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 26204-26214	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 3742-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 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 3753-3763	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 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 3096-3111	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 3055-3079	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 3302-3321	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 3263-3280	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 2694-2706	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 3584-3616	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 3163-3189	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 301-315	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 345-361	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 2564-2580	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 2628-2644	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.	Mid-level-ontology.kif 27169-27184	If there is a shortage of an entity of another entity for a cognitive agent at a third entity during a fourth entity and the entity is an instance of integer, then the cognitive agent desires there exist a fifth entity and a sixth entity such that the fifth entity is an instance of buying and the time of existence of the fifth entity takes place during the fourth entity and the object transferred in the fifth entity is the sixth entity and the third entity is a transaction amount of the fifth entity and the cognitive agent is an agent of the fifth entity and the sixth entity is an instance of collection and the other entity is a member type of the sixth entity and the entity is a member count of the sixth entity and the cognitive agent possesses the sixth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27136-27151	If there is a shortage of an integer of a set or class for an agent at a currency measure during a time interval and the integer is an instance of integer, then there don't exist a transfer and a collection such that the transfer is an instance of buying and the time of existence of the transfer takes place during the time interval and the object transferred in the transfer is the collection and the currency measure is a transaction amount of the transfer and the agent is an agent of the transfer and the collection is an instance of collection and the set or class is a member type of the collection and the integer is a member count of the collection and the agent possesses the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27186-27200	If there is a shortage of an entity of another entity for a cognitive agent at a third entity during a fourth entity and the entity is an instance of physical quantity, then the cognitive agent desires there exist a fifth entity and a sixth entity such that the fifth entity is an instance of buying and the time of existence of the fifth entity takes place during the fourth entity and the object transferred in the fifth entity is the sixth entity and the third entity is a transaction amount of the fifth entity and the cognitive agent is an agent of the fifth entity and the sixth entity is an instance of the other entity and the measure of the sixth entity is the entity and the cognitive agent possesses the sixth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27153-27167	If there is a shortage of a physical quantity of a class for an agent at a currency measure during a time interval and the physical quantity is an instance of physical quantity, then there don't exist a transfer and an object such that the transfer is an instance of buying and the time of existence of the transfer takes place during the time interval and the object transferred in the transfer is the object and the currency measure is a transaction amount of the transfer and the agent is an agent of the transfer and the object is an instance of the class and the measure of the object is the physical quantity and the agent possesses the object
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 1036-1043	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

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: