BoughtItemsFn |
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 引数は コレクション の instance では %n |
(instance BoughtItemsFn UnaryFunction) | UXExperimentalTerms.kif 2876-2876 | BoughtItemsFn は 1変数関数 の instance では %n |
(range BoughtItemsFn NonnegativeInteger) | UXExperimentalTerms.kif 2880-2880 | BoughtItemsFn の range は 非負整数 のインスタンス では %n |
appearance as argument number 2 |
![]() |
(format ChineseLanguage BoughtItemsFn "在 %1 裡購買的樣品數量") | domainEnglishFormat.kif 2906-2906 | |
(format ChineseTraditionalLanguage BoughtItemsFn "在 %1 裡購買的樣品數量") | domainEnglishFormat.kif 2905-2905 | |
(format EnglishLanguage BoughtItemsFn "number of items purchased in %1") | domainEnglishFormat.kif 2904-2904 | |
(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 |
![]() |
![]() |