Bidding - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1351-1353
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1347-1347	Bidding is a subclass of requesting

appearance as argument number 2

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

UXExperimentalTerms.kif 1349-1349

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1447-1447	The number 1 argument of bid amount is an instance of bidding
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1437-1437	The number 1 argument of object of bidding is an instance of bidding

antecedent

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

UXExperimentalTerms.kif 1416-1425

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	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 web listing , then there exist a symbolic string, an entity,, , another entity and the symbolic string such that the number of instances in the class described by the symbolic string is equal to number of bids in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1407-1414	If an agent bids a currency measure for an object, then there exists a bidding such that the bidding is an instance of bidding and the bidding is a bid for the object and the currency measure is the bid of the bidding and the agent is an agent of the bidding