Auctioning - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 330-332
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 328-328	Auctioning is a subclass of selling

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

UXExperimentalTerms.kif 334-334

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

UXExperimentalTerms.kif 409-409

The number 1 argument of reserve Price is an instance of auctioning

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 354-365	If a process is an instance of auctioning and an agent is an instance of agent and another agent is an instance of agent and an object is an instance of object and an unit of measure is an instance of unit of currency and the object is a patient of the process and the agent bids a real number the unit of measure(s) for the object and the other agent bids another real number the unit of measure(s) for the object and the real number is greater than the other real number, then the process ends up at the agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 343-352	If a process is an instance of auctioning and an object is an instance of object and the object is a patient of the process, then there exist an agent and a currency measure such that the agent is an instance of agent and the currency measure is an instance of currency measure and the agent bids the currency measure for the object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3202-3215	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of auctioning , then there exist a symbolic string and an entity_PURCHASE_AMOUNT such that the total of values in the class described by the symbolic string is the entity_PURCHASE_AMOUNT and the total purchase price of the collection is equal to the entity_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 336-341	If a process is an instance of auctioning, then there exists an entity such that the entity is an instance of object and the entity is a patient of the process

consequent

No TPTP formula. May not be expressible in strict first order.

UXExperimentalTerms.kif 313-325

If an object is an instance of web listing and a process is an instance of object and a cognitive agent is an instance of agent and auction attribute is an attribute of the object and the object is a patient of the process and the cognitive agent created the object,
then the cognitive agent desires there exists an entity such that the entity is an instance of auctioning and the process is a patient of the entity

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: