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 2884-2885
(domain BoughtItemsFn 1 Collection)	UXExperimentalTerms.kif 2878-2878	域 BoughtItemsFn, 1 and Collection
(instance BoughtItemsFn UnaryFunction)	UXExperimentalTerms.kif 2876-2876	例 BoughtItemsFn and UnaryFunction
(range BoughtItemsFn NonnegativeInteger)	UXExperimentalTerms.kif 2880-2880	範圍 BoughtItemsFn and NonnegativeInteger

appearance as argument number 2

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

consequent

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

UXExperimentalTerms.kif 2887-2903

例 Collection and Collection Physical
- 會員 Physical and Collection
- 例 Physical and FinancialTransaction
SymbolicString entity 等於基數卡帕 SymbolicString and 例 SymbolicString and Physical 例 entity and Buying 會員 entity and Collection 患者 entity and SymbolicString and 在 Collection 裡購買的樣品數量

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

KB Term:			Term intersection

English Word: