BidCountFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BidCountFn

BidCountFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2918-2920
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2912-2912	The number 1 argument of bid count is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2910-2910	Bid count is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2914-2914	The range of bid count is an instance of nonnegative integer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2890-2890
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2889-2889
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2888-2888
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2916-2916

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	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 the number of instances in there exist an entity, another entity and a third entity such that the class described by the entity and the number of instances in the collection is equal to number of bids in the collection
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

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