No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 690-700	If user a cognitive agent at a web site has cart a collection and a physical is an instance of object and the physical 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 physical 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 5142-5148	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 5129-5134	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.	Mid-level-ontology.kif 9318-9330	If OTC drug is an attribute of an object, then the statement there exists an entity such that the entity is an instance of buying and the object transferred in the entity is the object and there doesn't exist another entity such that the other entity is an instance of prescription and the other entity includes a reference to the object has the modal force of legal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9296-9308	If prescription drug is an attribute of an object, then the statement there exists an entity such that the entity is an instance of buying and the object transferred in the entity is the object and there doesn't exist another entity such that the other entity is an instance of prescription and the other entity includes a reference to the object has the modal force of illegal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1912-1922	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
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2974-2986	If the value of everything purchased by an agent for an organization during a time interval is a currency measure, then value of a physical is the currency measure and the physical is an instance of the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1654-1675	If an entity_OFFER is an instance of best offer, then the entity_OFFER contains information there exist another entity, a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the other entity is an instance of buying and the third entity is an agent of the other entity and the fourth entity is a patient of the other entity and the fifth entity the sixth entity(s) is a transaction amount of the other entity and there doesn't exist a content bearing physical such that the content bearing physical contains information there exist the other entity2, the third entity2 and a ninth entity such that the other entity2 is an instance of buying and the third entity2 is an agent of the other entity2 and the fourth entity is a patient of the other entity2 and the ninth entity the sixth entity(s) is a transaction amount of the other entity2 and the ninth entity is greater than the fifth entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1465-1475	If a process is an instance of checkout, then there exists another process such that the other process is an instance of buying and the process is a subprocess of the other process and there doesn't exist a third process such that the third process is a subprocess of the other process and the time of existence of the process happens earlier than the time of existence of the third process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29895-29915	If an entity is an instance of purchase order, then there exist a symbolic string, a cognitive agent,, , another cognitive agent and another entity such that the unique identifier of the symbolic string is the entity and the cognitive agent buys the other entity from the other cognitive agent and the cognitive agent obligates the other cognitive agent to perform task of the type there exists a third entity such that the beginning of the time of existence of the entity happens before the beginning of the time of existence of the third entity and the third entity is an instance of buying and the other entity is an instance of product and the object transferred in the third entity is the other entity and the entity includes a reference to the other entity and the cognitive agent is an agent of the third entity and the other cognitive agent is a patient of the third entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1918-1927	If a process is an instance of collection of transactions, then there exist another process and a third process such that the other process is an instance of buying and the other process is a subprocess of the process and the third process is an instance of buying and the third process is a subprocess of the process and the other process is not equal to the third process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8406-8416	If an object is an instance of military surplus, then there exist a physical and a transfer such that the transfer is an instance of buying and the physical is a patient of the transfer and the object transferred in the transfer is the object and the physical is not an instance of military organization and the physical is not a member of military organization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3097-3110	If a process is an instance of spread option, then there exist an entity, another entity,, , another process,, , a third process and a time position such that the entity is an instance of option and the other entity is an instance of option and the other process is an instance of buying and the third process is an instance of selling and the other process is a subprocess of the process and the third process is a subprocess of the process and the entity is a patient of the other process and the other entity is a patient of the third process and the other process exists during the time position and the third process exists during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7742-7749	If a physical is price a currency measure for an agent, 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 physical is a patient of the financial transaction and the currency measure is a transaction amount of the financial transaction
No TPTP formula. May not be expressible in strict first order.	Music.kif 1499-1509	If a kind of object was released for sale in a geographic area at a time point, then the statement there exist an entity and another entity such that the entity is an instance of a kind of object and the other entity is an instance of buying and the other entity is located at the geographic area and the entity is a patient of the other entity has the modal force of possibility holds during immediately after the time point
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 452-466	If an agent didn't buy an object, then the statement there exists a process such that the process is an instance of buying and the object is a patient of the process and the agent is an agent of the process has the modal force of promise and there doesn't exist the process such that the process is an instance of buying and the object is a patient of the process and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	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

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