BoughtItemsFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BoughtItemsFn

BoughtItemsFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2884-2885
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2878-2878	The number 1 argument of bought items is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2876-2876	Bought items is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2880-2880	The range of bought items is an instance of nonnegative integer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2910-2910
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2909-2909
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2908-2908
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2882-2882

consequent

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

UXExperimentalTerms.kif 2887-2903

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 financial transaction
,
then there exist a symbolic string and an entity such that equal the number of instances in the class described by the symbolic string and number of items purchased 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