Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BoughtItemsFn |
| appearance as argument number 1 |
|
| (instance BoughtItemsFn UnaryFunction) | UXExperimentalTerms.kif 2876-2876 | Bought items is an instance of unary function |
| (domain BoughtItemsFn 1 Collection) | UXExperimentalTerms.kif 2878-2878 | The number 1 argument of bought items is an instance of collection |
| (range BoughtItemsFn NonnegativeInteger) | UXExperimentalTerms.kif 2880-2880 | The range of bought items is an instance of nonnegative integer |
| (documentation BoughtItemsFn EnglishLanguage "(BoughtItemsFn ?COLL) returns the number of Physical which are patients of Buyings which are members of ?COLL.") | UXExperimentalTerms.kif 2884-2885 | The range of bought items is an instance of nonnegative integer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BoughtItemsFn "bought items") | UXExperimentalTerms.kif 2882-2882 | |
| (format EnglishLanguage BoughtItemsFn "number of items purchased in %1") | domainEnglishFormat.kif 2908-2908 | |
| (format ChineseTraditionalLanguage BoughtItemsFn "在 %1 裡購買的樣品數量") | domainEnglishFormat.kif 2909-2909 | |
| (format ChineseLanguage BoughtItemsFn "在 %1 裡購買的樣品數量") | domainEnglishFormat.kif 2910-2910 |
| 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 | If X is an instance of collection and For all Physical Y: if Y is a member of X, then Y is an instance of financial transaction, then there exist Z, W such that equal the number of instances in the class described by Z, and number of items purchased in X |
|