TreeView Knowledge Base Browser

appearance as argument number 1

(documentation BoughtItemsFn EnglishLanguage "(BoughtItemsFn ?COLL) returns the number of Physical which are patients of Buyings which are members of ?COLL.")	UXExperimentalTerms.kif 3093-3094
(domain BoughtItemsFn 1 Collection)	UXExperimentalTerms.kif 3087-3087	The number 1 argument of bought items is an instance of collection
(instance BoughtItemsFn UnaryFunction)	UXExperimentalTerms.kif 3085-3085	Bought items is an instance of unary function
(range BoughtItemsFn NonnegativeInteger)	UXExperimentalTerms.kif 3089-3089	The range of bought items is an instance of nonnegative integer

appearance as argument number 2

(format ChineseLanguage BoughtItemsFn "在 %1 裡購買的樣品數量")	domainEnglishFormat.kif 2915-2915
(format ChineseTraditionalLanguage BoughtItemsFn "在 %1 裡購買的樣品數量")	domainEnglishFormat.kif 2914-2914
(format EnglishLanguage BoughtItemsFn "number of items purchased in %1")	domainEnglishFormat.kif 2913-2913
(termFormat EnglishLanguage BoughtItemsFn "bought items")	UXExperimentalTerms.kif 3091-3091

consequent

(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER FinancialTransaction))))
    (equal
        (CardinalityFn
            (KappaFn ?ITEM
                (and
                    (instance ?ITEM Physical)
                    (instance ?BUYING Buying)
                    (member ?BUYING ?COLL)
                    (patient ?BUYING ?ITEM))))
        (BoughtItemsFn ?COLL)))

UXExperimentalTerms.kif 3096-3111

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 the number of instances in the class described by a symbolic string is equal to number of items purchased in the collection

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

KB Term:			Term intersection

English Word: