Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 372-387	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 during a time interval, then the statement if a third entity is an instance of selling and the cognitive agent is an agent of the third entity and the other entity is a patient of the third entity, then the currency measure is a transaction amount of the third entity has the modal force of likely holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	If duty free is an attribute of an object and the object is an instance of store, then there exist a geopolitical area, an entity,, , another kind of object and a process such that the geopolitical area is an instance of geopolitical area and the object is located at the geopolitical area and another kind of object is a subclass of object and the other kind of object is an import commodity type of the geopolitical area and the entity is an instance of the other kind of object and the process is an instance of selling and the entity is a patient of the process and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 64-76	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of proposition, then the statement there exist another entity, a third entity and a fourth entity such that the other entity is an instance of the kind of entity and the fourth entity expresses the content of the other entity and the third entity is an instance of selling and the fourth entity is a patient of the third entity and the agent is an agent of the third entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 51-62	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of physical, then the statement there exist another entity and a third entity such that the third entity is an instance of the kind of entity and the other entity is an instance of selling and the agent is an agent of the other entity and the third entity is a patient of the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11901-11901	Selling is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 328-328	Auctioning is a subclass of selling

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