TreeView Knowledge Base Browser - BoughtItemsFn

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 2914-2914
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2913-2913
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2912-2912
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 the number of instances in the class described by the symbolic string is equal to number of items purchased in the collection

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