TreeView Knowledge Base Browser - objectOfBid

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - objectOfBid

objectOfBid

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1440-1441
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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1438-1438	The number 2 argument of object of bidding is an instance of physical
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1436-1436	object of bidding is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4006-4006
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4005-4005
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4004-4004
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1439-1439

antecedent

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

UXExperimentalTerms.kif 1416-1425

If a bidding is an instance of bidding and an object is an instance of physical and a currency measure is an instance of currency measure and an agent is an instance of the agent 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,
then the agent bids the currency measure for the object

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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